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

1、測(cè)試用例生成作為軟件測(cè)試最為關(guān)鍵的環(huán)節(jié)，它是需要耗費(fèi)大量的勞動(dòng)力和時(shí)間的步驟，因此對(duì)于測(cè)試用例的自動(dòng)生成已經(jīng)成為了一種迫切的需求。同時(shí)，在軟件開發(fā)過程中，UML已經(jīng)成為了面向?qū)ο筌浖_發(fā)建模語言的工業(yè)標(biāo)準(zhǔn)。 因此，本文重點(diǎn)研究一種通過軟件UML模型圖自動(dòng)生成集成測(cè)試用例(類簇級(jí)測(cè)試用例)的方法，以減少軟件開發(fā)的開銷。同時(shí)，由于UML自身在形式語義上的缺陷限制了對(duì)它的形式化分析，必須首先將UML模型形式化，才可以進(jìn)行下一步的分析并

2、產(chǎn)生測(cè)試用例。 本文首先對(duì)軟件測(cè)試尤其是基于UML的測(cè)試方法的現(xiàn)狀進(jìn)行了研究分析，指出UML模型用于測(cè)試的優(yōu)勢(shì)所在，并重點(diǎn)分析了UML各種模型圖的可測(cè)試性和存在的缺點(diǎn)。 同時(shí)，本文引入和改進(jìn)了一種基于Petri網(wǎng)的軟件模型，并研究了從UML的類圖、狀態(tài)圖、通信圖中生成該P(yáng)etri網(wǎng)軟件模型的方法。 在此基礎(chǔ)上，本文利用Petri網(wǎng)分析技術(shù)，對(duì)生成的軟件模型進(jìn)行可達(dá)分析，由此從該模型中產(chǎn)生所有的測(cè)試覆蓋路徑，并將測(cè)