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

1、軟件測(cè)試是保證軟件質(zhì)量的關(guān)鍵性工作,在軟件開發(fā)周期中占有非常重要的地位。軟件測(cè)試的工作量隨著軟件產(chǎn)品規(guī)模不斷擴(kuò)大以及軟件復(fù)雜性越來越高而迅速增長。為了降低軟件測(cè)試的成本,提高軟件測(cè)試效率,軟件測(cè)試方法的研究受到業(yè)內(nèi)越來越多的關(guān)注。
　　 隨著統(tǒng)一建模語言UML的廣泛應(yīng)用,基于UML的測(cè)試用例生成技術(shù)已成為軟件測(cè)試領(lǐng)域的研究熱點(diǎn)。UML活動(dòng)圖描述了系統(tǒng)為完成指定功能或任務(wù)所必須執(zhí)行的活動(dòng)流程,是復(fù)雜的交互式系統(tǒng)功能測(cè)試用例生成的重

2、要依據(jù),本文著重研究基于UML活動(dòng)圖生成測(cè)試用例的方法。
　　 本文研究的主要內(nèi)容如下:
　　 1.討論了生成測(cè)試用例的兩種方法,重點(diǎn)分析了基于規(guī)格說明的測(cè)試用例生成方法和其中的基于UML模型的測(cè)試技術(shù)。
　　 2.分析了UML活動(dòng)圖的特點(diǎn),UML活動(dòng)圖的可測(cè)性設(shè)計(jì)以及測(cè)試覆蓋準(zhǔn)則,并給出UML活動(dòng)圖的形式化定義。
　　 3.研究了從活動(dòng)圖生成測(cè)試場(chǎng)景的方法,通過逐層壓縮活動(dòng)圖中復(fù)合結(jié)構(gòu),使生成測(cè)試場(chǎng)景的