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

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

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

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

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