基于UML交互概覽圖的測試方法研究.pdf

1、隨著軟件開發(fā)技術的成熟與應用的普及，軟件質量的保證面臨新的挑戰(zhàn)，同時也彰顯了軟件測試的重要性。近年來，面向對象的技術的發(fā)展，使基于UML的軟件測試已成為一個重要的研究課題。
　　目前，傳統(tǒng)針對活動圖或者順序圖的單一的模型只能描述系統(tǒng)某一層面的信息，導致測試不充分的問題。如活動圖用來描述系統(tǒng)的業(yè)務流程，順序圖用來描述系統(tǒng)對象間的交互信息。由于UML是一種半形式化的建模語言，無法精確的描述系統(tǒng)的約束信息，使得基于UML模型產(chǎn)生的測試用

2、例的完備性出現(xiàn)嚴重不足。針對上述兩個問題，本文采用UML2.0中提出的一種新圖——交互概覽圖（IOD）作為測試模型，它將UML活動圖和順序圖結合起來描述系統(tǒng)的業(yè)務流程及交互細節(jié)，很好的彌補了活動圖和順序圖的缺陷，同時給軟件測試開辟了一個新的領域。目前基于UML2.0交互概覽圖的測試少，而傳統(tǒng)的基于UML活動圖和順序圖的測試已不適用交互概覽圖，因此，本文提出一種基于UML交互概覽圖的測試方法，并結合OCL約束生成包含約束信息、流程信息和對

3、象交互信息的測試用例。
　　本文主要是結合于UML交互概覽圖、類圖、順序圖的軟件測試。首先分析UML類圖、交互概覽圖、順序圖的新特性及結構并給出形式化定義，通過在類圖中添加OCL約束來增強UML描述系統(tǒng)的精確性；其次，構造可測試交互概覽圖模型。交互概覽圖中不僅包含系統(tǒng)的業(yè)務流程信息，還包含對象間的交互信息。把IOD的流程結構信息根據(jù)構造規(guī)則構造為節(jié)點控制流圖（NCFG），把IOD的交互節(jié)點即順序圖中的消息及組合框信息如alt、lo

4、op、break等根據(jù)轉換規(guī)則轉化為消息約束序列圖（MCSD），將MCSD的消息約束路徑替換NCFG中對應的交互節(jié)點從而構造可測試的交互概覽圖模型。再次，對可測試交互概覽圖模型中的分支、并發(fā)、循環(huán)結構進行分析并設計其測試覆蓋準則，給出測試線索生成的具體步驟；最后根據(jù)測試線索中的約束條件結合等價類化劃分法和邊界值分析法構造測試輸入數(shù)據(jù)和生成完備的測試用例。
　　通過上述理論研究，本文提出了一種基于UML交互概覽圖的測試框架。在對建模