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

1、測(cè)試用例的設(shè)計(jì)與生成是軟件測(cè)試的重點(diǎn)和難點(diǎn)之所在，其本質(zhì)是如何依據(jù)一種以適當(dāng)方式描述的軟件規(guī)格說明來設(shè)計(jì)和生成有效的測(cè)試用例。近年來，隨著面向?qū)ο蠹夹g(shù)的成熟和廣泛應(yīng)用，基于統(tǒng)一建模語言UML的軟件測(cè)試方法成為研究的熱點(diǎn)，并取得了不少重要的研究成果。 本課題旨在針對(duì)一般大型、復(fù)雜軟件所共有的交互性特征，重點(diǎn)研究基于UML活動(dòng)圖模型的測(cè)試用例設(shè)計(jì)與生成方法，并實(shí)現(xiàn)了一個(gè)與UML建模工具Rational Rose相集成的軟件測(cè)試用例設(shè)

2、計(jì)與輔助生成工具。 本文首先對(duì)UML以及基于模型的測(cè)試方法做了簡(jiǎn)單介紹，指出UML模型用于指導(dǎo)測(cè)試的優(yōu)勢(shì)所在，并分析了UML各種模型及其可測(cè)試性和測(cè)試策略。進(jìn)而指出活動(dòng)圖模型不僅是進(jìn)行業(yè)務(wù)需求分析和系統(tǒng)設(shè)計(jì)的有力工具，同時(shí)也是系統(tǒng)測(cè)試的重要依據(jù)。 基于上述分析，本文重點(diǎn)研究了基于UML活動(dòng)圖模型的測(cè)試用例設(shè)計(jì)與生成方法。對(duì)測(cè)試用例、測(cè)試場(chǎng)景等相關(guān)概念和技術(shù)進(jìn)行了介紹，給出了基于UML活動(dòng)圖模型生成測(cè)試用例的總體策略，包括

3、基于活動(dòng)圖模型控制流結(jié)構(gòu)的測(cè)試場(chǎng)景生成和針對(duì)活動(dòng)的輸入量的測(cè)試數(shù)據(jù)生成。在測(cè)試場(chǎng)景生成部分，本文針對(duì)活動(dòng)圖模型的結(jié)構(gòu)化問題提出了對(duì)象流處理方法及并發(fā)模塊的實(shí)例化方法；在測(cè)試數(shù)據(jù)生成中，則針對(duì)測(cè)試數(shù)據(jù)的描述與生成組合問題，為活動(dòng)圖模型定義了測(cè)試剖面，用于描述活動(dòng)圖模型中活動(dòng)結(jié)點(diǎn)的輸入輸出等測(cè)試相關(guān)信息，并提出了改進(jìn)的輪轉(zhuǎn)法以實(shí)現(xiàn)測(cè)試數(shù)據(jù)的組合。 最后，本課題實(shí)現(xiàn)了基于UML活動(dòng)圖模型的測(cè)試用例自動(dòng)生成工具，為測(cè)試人員提供了測(cè)試剖面