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

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

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

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