1、隨著軟件市場(chǎng)對(duì)產(chǎn)品質(zhì)量要求的不斷提高，軟件測(cè)試的重要性也受到了廣泛的關(guān)注。然而傳統(tǒng)的軟件測(cè)試方法基于人工操作，效率低下且成本高昂，已無(wú)法滿足規(guī)模龐大的復(fù)雜軟件的測(cè)試要求。為了提高測(cè)試效率，降低測(cè)試成本，對(duì)傳統(tǒng)測(cè)試方法的優(yōu)化研究顯得尤為重要。近年來(lái)，隨著軟件工程的快速發(fā)展，UML應(yīng)用已貫穿于整個(gè)軟件開(kāi)發(fā)過(guò)程，基于UML模型的軟件測(cè)試也成為了一種新興的測(cè)試方法，并作為軟件測(cè)試自動(dòng)化研究的理論依據(jù)。
　　本文以研究UML活動(dòng)圖為基礎(chǔ)，旨

2、在針對(duì)大型交互系統(tǒng)的共有特征，結(jié)合模型測(cè)試技術(shù)的核心理念，重點(diǎn)研究了基于UML活動(dòng)圖的測(cè)試用例設(shè)計(jì)與生成方法。論文首先闡述了與課題相關(guān)的理論技術(shù)，包括軟件測(cè)試、基于模型的測(cè)試技術(shù)以及UML的發(fā)展與內(nèi)容。其次，著重分析了UML動(dòng)態(tài)模型的可測(cè)試性與測(cè)試策略，通過(guò)對(duì)比分析各模型在指導(dǎo)測(cè)試方面的優(yōu)缺點(diǎn)，進(jìn)而指出活動(dòng)圖模型是描述系統(tǒng)行為的最佳模型，也是研究基于模型的自動(dòng)化測(cè)試技術(shù)的重要理論依據(jù)。
　　然后，本文結(jié)合活動(dòng)圖的形式化定義及測(cè)試覆

3、蓋準(zhǔn)則，提出基于活動(dòng)圖的測(cè)試用例生成策略。該策略給出了基于UML活動(dòng)圖的測(cè)試用例生成框架，并圍繞測(cè)試場(chǎng)景和測(cè)試數(shù)據(jù)生成兩方面展開(kāi)詳細(xì)的研究和討論。在測(cè)試場(chǎng)景生成方面，針對(duì)UML活動(dòng)圖的并發(fā)特性，首先對(duì)活動(dòng)圖的并發(fā)模塊加以識(shí)別和壓縮，依據(jù)覆蓋準(zhǔn)則生成初步的測(cè)試場(chǎng)景；然后采用改進(jìn)后的實(shí)例化算法，動(dòng)態(tài)引入約束條件，對(duì)并發(fā)模塊內(nèi)的活動(dòng)進(jìn)行排序，生成完整的測(cè)試場(chǎng)景。在測(cè)試數(shù)據(jù)生成方面，引入測(cè)試剖面的概念，并在傳統(tǒng)輪轉(zhuǎn)法的基礎(chǔ)上加以優(yōu)化，提出一種覆