業(yè)務(wù)規(guī)則形式化表達(dá)及自動化測試策略研究與應(yīng)用.pdf

1、信息化系統(tǒng)能給應(yīng)用的業(yè)務(wù)領(lǐng)域帶來巨大的變革，但是隨著業(yè)務(wù)領(lǐng)域行業(yè)的功能細(xì)化與服務(wù)全面化，伴之而來的是給相關(guān)業(yè)務(wù)領(lǐng)域的信息化系統(tǒng)開發(fā)帶來了巨大的挑戰(zhàn)，即要求系統(tǒng)開發(fā)人員同時精通相關(guān)業(yè)務(wù)及軟件開發(fā)兩個領(lǐng)域的知識，這對開發(fā)人員是不現(xiàn)實(shí)的。此外，成功開發(fā)信息系統(tǒng)的前提是滿足客戶的需求，如何對客戶的業(yè)務(wù)需求全面、準(zhǔn)確地理解是信息系統(tǒng)開發(fā)的關(guān)鍵和基礎(chǔ)。
　　 在現(xiàn)實(shí)的信息系統(tǒng)開發(fā)中對需求的理解不夠全面、不準(zhǔn)確的事常有發(fā)生。
　　 影

2、響業(yè)務(wù)需求建模的因素有很多，比如自然語言特有的歧義性，業(yè)務(wù)人員、開發(fā)人員、測試人員由于技術(shù)知識背景不同，造成對業(yè)務(wù)需求的理解不一致等。
　　 可能造成交付的信息系統(tǒng)部不能按照客戶的需求運(yùn)轉(zhuǎn)，給社會帶來巨大損失。
　　 針對上述問題，本文研究基于業(yè)務(wù)規(guī)則的形式化表達(dá)以及業(yè)務(wù)規(guī)則分析方法在自動化測試中的應(yīng)用，業(yè)務(wù)規(guī)則分析方法能消除對業(yè)務(wù)需求理解不全面、不準(zhǔn)確的問題。經(jīng)過深入的理論研究發(fā)現(xiàn)，最終能作為標(biāo)準(zhǔn)的是業(yè)務(wù)本身，業(yè)務(wù)由一

3、系列的規(guī)則組成，軟件需求無外乎是對業(yè)務(wù)的某種表達(dá)，但是這種表達(dá)即不完全也未必全然正確，業(yè)務(wù)有其內(nèi)在的“邏輯”，這種邏輯可以通過“業(yè)務(wù)分析”的過程予以揭示，這種邏輯是獨(dú)立于IT技術(shù)的。不管有沒有相應(yīng)的計(jì)算機(jī)應(yīng)用，任何業(yè)務(wù)都可以表達(dá)為流程（業(yè)務(wù)流）、規(guī)則和要素。
　　 在得到一種業(yè)務(wù)意圖的所有業(yè)務(wù)規(guī)則后，按業(yè)務(wù)流，以時間軸為中心線將業(yè)務(wù)規(guī)則形式化表達(dá)出來，形式化表達(dá)出來的每一條規(guī)則語句都是該業(yè)務(wù)意圖的一條分支路徑。本文采用將業(yè)務(wù)規(guī)則

4、完全組合的方法，所以生成的業(yè)務(wù)規(guī)則語句涵蓋了業(yè)務(wù)意圖的所有分支路徑。在本文中還建立了規(guī)則語句篩選模塊，該模塊對組合后的規(guī)則語句進(jìn)行篩選，篩選掉在業(yè)務(wù)系統(tǒng)中無實(shí)際意義的規(guī)則語句，最終得到的業(yè)務(wù)規(guī)則語句能真實(shí)、全面代表真實(shí)的業(yè)務(wù)需求。
　　 高度復(fù)雜的業(yè)務(wù)系統(tǒng)不僅給系統(tǒng)的開發(fā)帶來了很大的難度，也給軟件測試帶來了極大的挑戰(zhàn)。軟件測試是軟件質(zhì)量保證的重要手段，在軟件開發(fā)及驗(yàn)收的過程中得到了高度重視，因此對高效、準(zhǔn)確、自動化的軟件測試方法

5、的需求也日趨迫切。一條規(guī)則語句代表一個業(yè)務(wù)意圖的解決分支路徑，由于規(guī)則語句由原子規(guī)則組成（在軟件測試中一條規(guī)則語句代表一個測試用例，原子規(guī)則代表測試用例中的一個屬性），因此業(yè)務(wù)規(guī)則語句能與測試數(shù)據(jù)進(jìn)行自動化組合，這就能自動化生成測試用例，將在軟件中的自動化應(yīng)用在測試用例生成階段。
　　 本文基于所研究的業(yè)務(wù)規(guī)則分析方法設(shè)計(jì)了業(yè)務(wù)分析平臺BAP(BusinessAnalysis Plat form)，該平臺實(shí)現(xiàn)了業(yè)務(wù)規(guī)則組合、規(guī)則