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

1、軟件測(cè)試在軟件開(kāi)發(fā)過(guò)程中有著越來(lái)越重要的地位。它貫穿于軟件定義與開(kāi)發(fā)的整個(gè)期間即整個(gè)軟件開(kāi)發(fā)過(guò)程。從設(shè)計(jì)規(guī)格說(shuō)明中產(chǎn)生測(cè)試用例是測(cè)試階段的一項(xiàng)重要工作，而它的主要依據(jù)應(yīng)該來(lái)自于軟件需求和軟件設(shè)計(jì)，其中要涉及到測(cè)試用例的充分性覆蓋準(zhǔn)則問(wèn)題。 本文重點(diǎn)研究了基于UML活動(dòng)圖模型的測(cè)試用例設(shè)計(jì)與生成方法，首先介紹了相關(guān)的背景知識(shí)，包括基于規(guī)格說(shuō)明的軟件測(cè)試，基于模型的軟件測(cè)試，分析其特點(diǎn)，并介紹了UML模型，及其在指導(dǎo)軟件測(cè)試方面的應(yīng)

2、用。并對(duì)自動(dòng)生成測(cè)試用例技術(shù)的國(guó)內(nèi)外研究現(xiàn)狀進(jìn)行了綜述和比較。 然后重點(diǎn)分析了UML活動(dòng)圖模型，活動(dòng)圖在指導(dǎo)軟件測(cè)試方面的優(yōu)勢(shì)，給出了UML活動(dòng)圖的形式化定義，并定義了基本路徑，場(chǎng)景等；詳細(xì)闡述了基于UML活動(dòng)圖模型的測(cè)試用例生成方法和技術(shù)，給出了UML活動(dòng)圖生成測(cè)試用例的覆蓋標(biāo)準(zhǔn)，并考慮了信號(hào)流覆蓋標(biāo)準(zhǔn)，研究了由UML活動(dòng)圖生成測(cè)試場(chǎng)景的算法，并給出了考慮了并發(fā)情況等以后的算法，對(duì)并發(fā)活動(dòng)實(shí)例化方法進(jìn)行分析，并給出了一種實(shí)例化