基于UML和Petri網(wǎng)的軟件測試模型的研究與應用.pdf

1、隨著面向?qū)ο筌浖_發(fā)技術(shù)的廣泛應用，面向?qū)ο蟮臏y試技術(shù)成為研究的熱點問題。由于模型在軟件設計和開發(fā)中得到普遍應用，基于模型的軟件測試越來越受到人們的關(guān)注?；谀Ｐ偷能浖y試需要模型盡可能形式化，并與實際系統(tǒng)相符合。另外，基于模型的軟件測試的一個重要問題是制定模型的測試覆蓋準則。 UML具有定義良好、易理解、可視化等特點，不僅是軟件開發(fā)的重要工具，而且也是指導測試的重要模型。但是，UML作為一種半形式化工具，缺乏形式化的語義，將其

2、應用于軟件測試需要對其適度形式化，擴充其可測試性。Petri網(wǎng)作為一種形式化的語言，具有形式化的語義和成熟的分析技術(shù)。因此，將UML和Petri網(wǎng)結(jié)合應用于基于模型的軟件測試具有重要的意義。 本文探討了將UML模型與Petri網(wǎng)相結(jié)合在構(gòu)建形式化的軟件測試模型方面的研究和應用。 首先，基于模型的軟件測試要求模型盡可能形式化，但UML只是一種半形式化的描述方法。針對此問題，本文在前人研究的基礎上，構(gòu)建了一個基于UML和著色

3、Petri網(wǎng)的軟件測試模型——抽象著色Petri網(wǎng)(ACPN)模型，并論述了由UML模型映射為ACPN模型的方法和策略。 其次，制定模型的測試覆蓋準則是基于模型測試的一個重要問題，因此，本文通過對已有的測試覆蓋準則的研究，提出適合ACPN模型的測試覆蓋準則，并提出測試序列生成方法產(chǎn)生測試序列。 最后，本文對一個具體的實例進行研究，將實例的UML模型映射為ACPN模型，并在該模型基礎上產(chǎn)生測試序列，再提取實例系統(tǒng)的測試需求