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

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

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

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