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

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

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

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

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

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