基于UML活動(dòng)圖生成測(cè)試用例方法的研究.pdf

1、軟件測(cè)試是保證軟件質(zhì)量、提高軟件可靠性的關(guān)鍵工作，測(cè)試用例是軟件測(cè)試的核心。隨著面向?qū)ο蠹夹g(shù)的成熟和廣泛使用，基于統(tǒng)一建模語(yǔ)言UML的測(cè)試用例生成方法已成為研究的熱點(diǎn)。UML活動(dòng)圖是一種特殊形式的狀態(tài)機(jī)，適合計(jì)算流程、工作流程的建模，活動(dòng)圖強(qiáng)調(diào)從活動(dòng)到活動(dòng)的控制流，能表示并發(fā)活動(dòng)，因此，基于UML活動(dòng)圖生成測(cè)試用例的方法適用于具有并發(fā)活動(dòng)、交互性強(qiáng)的軟件系統(tǒng)的測(cè)試。 針對(duì)具有并發(fā)活動(dòng)、交互性強(qiáng)的應(yīng)用軟件，本文提出一種基于UML活

2、動(dòng)圖生成其測(cè)試用例的方法。該方法采用McCabe的基路徑方法生成測(cè)試場(chǎng)景，對(duì)活動(dòng)圖中的并發(fā)模塊進(jìn)行壓縮，采用基路徑尋找算法找出其中的基本路徑，運(yùn)用改進(jìn)的隨機(jī)生成過(guò)濾法對(duì)并發(fā)活動(dòng)進(jìn)行實(shí)例化，替換找出的基本路徑，形成完整的路徑，據(jù)此生成相應(yīng)的測(cè)試場(chǎng)景；采用擴(kuò)展的弱健壯性等價(jià)類測(cè)試方法對(duì)輸入變量的數(shù)據(jù)進(jìn)行組合生成測(cè)試用例，在此基礎(chǔ)上，通過(guò)構(gòu)造活動(dòng)圖的組合樹(shù)，引入集成測(cè)試的思想，按照自底向上的順序?qū)我换顒?dòng)圖的測(cè)試用例集成到組合活動(dòng)圖中，生成高

3、層次活動(dòng)圖的測(cè)試用例。 本文介紹了軟件測(cè)試的基本概念和基本方法，分析了UML動(dòng)態(tài)模型的可測(cè)試性，對(duì)UML活動(dòng)圖的語(yǔ)法和語(yǔ)義進(jìn)行了形式化定義和描述，詳細(xì)介紹了本文所提出的基于UML活動(dòng)圖生成測(cè)試用例方法的設(shè)計(jì)過(guò)程，并將該方法應(yīng)用于實(shí)際項(xiàng)目—“某省級(jí)數(shù)字電視管理系統(tǒng)”測(cè)試用例的生成，本文以業(yè)務(wù)受理功能為例，闡述了采用該方法生成測(cè)試用例的詳細(xì)過(guò)程。結(jié)果表明，本文所提出的方法適用于具有并發(fā)和交互活動(dòng)的應(yīng)用軟件的測(cè)試用例生成，所生成的測(cè)試