基于Petri網(wǎng)的并發(fā)程序測試路徑生成.pdf

1、隨著并發(fā)軟件的廣泛應(yīng)用，并發(fā)軟件的測試成為很多學(xué)者的研究對象。然而，并發(fā)程序執(zhí)行測試路徑時的不確定性使其測試難度加劇。Petri網(wǎng)在描述并發(fā)方面具有其它系統(tǒng)模型無法比擬的優(yōu)勢。針對并發(fā)程序測試路徑的不可預(yù)測性，Petri網(wǎng)利用自身優(yōu)勢，通過構(gòu)建并發(fā)程序問題描述的Petri網(wǎng)模型，為并發(fā)程序及其測試路徑的生成提供了橋梁作用。
　　 目前，基于Petri網(wǎng)的軟件測試路徑生成方面的研究還存在一些問題?；诳蛇_(dá)圖的測試路徑生成算法采用了

2、熱點優(yōu)先和拓?fù)渑判蚍椒?，該方法的?yōu)點是能夠去掉不可行路徑，但存在測試集爆炸問題?；诳蛇_(dá)樹方法通過對可達(dá)樹中是否存在循環(huán)節(jié)點來分類生成軟件的測試路徑，算法較為復(fù)雜。因此，研究并發(fā)程序的測試路徑生成并減少測試集就具有十分重要的意義。
　　 本文通過相關(guān)理論的學(xué)習(xí)，在已有研究成果的基礎(chǔ)上，提出了基于Petri網(wǎng)的并發(fā)程序測試路徑的生成方法，主要進(jìn)行以下幾個方面的探討和研究：
　　 1)利用Petri網(wǎng)建模工具PIPE3.0(

3、Platform Independent Petri Net Editor)構(gòu)建并發(fā)程序的Petri網(wǎng)模型并進(jìn)行模型驗證，以分析并發(fā)程序的基本性質(zhì)。
　　 2)利用可達(dá)圖的測試路徑生成算法，以及結(jié)合UML狀態(tài)圖、擴(kuò)展?fàn)顟B(tài)機(jī)和Petri網(wǎng)采用可達(dá)圖和有向圖搜索算法來生成類的測試路徑的思想，本文提出一個適用于并發(fā)程序的測試路徑生成算法，使得原有的Petri網(wǎng)工具具有測試路徑生成功能。實驗采用分段路徑測試方法能夠覆蓋網(wǎng)中所有的節(jié)點并達(dá)