基于UML的CPN模型在軟件測試中的應用.pdf

1、軟件測試是保證軟件質量的重要手段，也是軟件開發(fā)過程中一項非常重要的工作。一直以來，國內的很多軟件企業(yè)對于軟件測試的重要性缺乏足夠的認識，測試水平不高，軟件質量無法得到保證。質量有問題的軟件會導致無法預測的后果，因而如何保證軟件質量以及如何最大限度地提高軟件質量就成為一個重要課題。 傳統(tǒng)的測試理論與方法并不完全適合用于新興的面向對象軟件系統(tǒng)。隨著面向對象分析和面向對象設計的成熟，如何對面向對象軟件進行測試是一個非常值得研究的問題，

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

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

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