Petri網(wǎng)在軟件測(cè)試中的應(yīng)用研究.pdf

1、隨著軟件規(guī)模的不斷擴(kuò)大，軟件錯(cuò)誤也越來越容易產(chǎn)生。盡早地檢測(cè)軟件中的錯(cuò)誤是軟件開發(fā)過程中的一個(gè)重要任務(wù)，也是降低軟件開發(fā)成本的主要手段，因此很多的軟件測(cè)試技術(shù)應(yīng)運(yùn)而生。特別是在面向?qū)ο蠹夹g(shù)應(yīng)用于軟件開發(fā)過程之后，提出了許多針對(duì)面向?qū)ο筌浖臏y(cè)試技術(shù)和方法。但相對(duì)于面向?qū)ο蟮姆治?、設(shè)計(jì)技術(shù)而言，面向?qū)ο筌浖y(cè)試技術(shù)顯得比較薄弱。Petri網(wǎng)是的一種描述同步、并發(fā)行為的信息系統(tǒng)及其相互關(guān)系的網(wǎng)型數(shù)學(xué)模型。它具有一整套嚴(yán)格的理論分析方法和工具

2、，將其應(yīng)用在軟件測(cè)試領(lǐng)域，可以有效的進(jìn)行軟件的形式化分析和測(cè)試。為此，本文應(yīng)用了著色Petri網(wǎng)對(duì)面向?qū)ο筌浖y(cè)試中類及交互進(jìn)行測(cè)試的技術(shù)和方法，并詳細(xì)地給出了完整的實(shí)現(xiàn)方案。 首先，討論了著色Petri網(wǎng)與面向?qū)ο蟾拍钪g的關(guān)系，根據(jù)其關(guān)系，將面向?qū)ο蟮母拍钣成涞街玃etri網(wǎng)中，根據(jù)其類圖和狀態(tài)圖，得到相應(yīng)類的著色Petri網(wǎng)，利用著色Petri網(wǎng)的理論分析方法，對(duì)類進(jìn)行測(cè)試；其次，討論了如何利用著色Petri網(wǎng)來優(yōu)化交互