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

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

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

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

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