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

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

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

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

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

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