基于UML的CPN模型在軟件測試中的應(yīng)用.pdf

1、軟件測試是保證軟件質(zhì)量的重要手段，也是軟件開發(fā)過程中一項非常重要的工作。一直以來，國內(nèi)的很多軟件企業(yè)對于軟件測試的重要性缺乏足夠的認(rèn)識，測試水平不高，軟件質(zhì)量無法得到保證。質(zhì)量有問題的軟件會導(dǎo)致無法預(yù)測的后果，因而如何保證軟件質(zhì)量以及如何最大限度地提高軟件質(zhì)量就成為一個重要課題。 傳統(tǒng)的測試?yán)碚撆c方法并不完全適合用于新興的面向?qū)ο筌浖到y(tǒng)。隨著面向?qū)ο蠓治龊兔嫦驅(qū)ο笤O(shè)計的成熟，如何對面向?qū)ο筌浖M行測試是一個非常值得研究的問題，

2、也是測試領(lǐng)域的一個難題?，F(xiàn)代測試?yán)碚撘?guī)定軟件必須在其生命周期的全過程進行測試，很多測試不能簡單地靠手工測試實現(xiàn)，必然會導(dǎo)致自動化測試的產(chǎn)生和應(yīng)用。 UML在被工業(yè)界廣泛接受的同時也成為學(xué)術(shù)界遵循的一種標(biāo)準(zhǔn)建模語言。許多面向?qū)ο筌浖y試的研究都圍繞從UML模型構(gòu)造軟件模型開展。研究基于UML模型的軟件測試有利于把測試工作提前到軟件開發(fā)周期的早期進行。但UML模型屬于半形式化模型，往往無法自動生成測試用例。而Petri網(wǎng)作為離散系統(tǒng)

3、的建模和分析工具，適合于描述系統(tǒng)中順序、并發(fā)、沖突以及同步等關(guān)系，擁有豐富的系統(tǒng)描述手段和系統(tǒng)行為分析技術(shù)。將UML模型與Petri網(wǎng)相結(jié)合，能夠彌補其數(shù)學(xué)支持的不足。國內(nèi)已有基于Petri網(wǎng)模型的軟件測試研究，但較為少見。 國外有文獻提出了CPN模型和UML圖表到CPN模型的映射方法，并將其應(yīng)用于模型檢測領(lǐng)域。我們發(fā)現(xiàn)CPN模型經(jīng)過改進也可以運用于面向?qū)ο蟮念悳y試和簇級測試。 為此，本文主要做了以下幾方面的工作：

4、 首先，以基于模型的測試用例的自動化生成為主線，提出了基于UML的CPN模型的測試框架。 其次，在介紹國外文獻中的CPN模型和UML圖表到CPN模型的映射方法的基礎(chǔ)上，針對軟件測試的具體需要，對CPN模型做出了相應(yīng)改進，并在時間準(zhǔn)確性方面，進一步完善了映射的算法。 再次，在研究基于狀態(tài)覆蓋準(zhǔn)則的基礎(chǔ)上，提出了庫所-變遷覆蓋準(zhǔn)則，并介紹了基于此覆蓋準(zhǔn)則的測試用例生成策略。 最后，構(gòu)建了自動化測試用例生成工具，工具