覆蓋并行待測(cè)行為的軟件測(cè)試序列生成方法.pdf

1、并行軟件在人們生活生產(chǎn)中扮演著越來越重要的角色。例如常見的網(wǎng)絡(luò)軟件、云計(jì)算軟件等軟件系統(tǒng)都具有并行行為特點(diǎn)。而作為保證軟件質(zhì)量的關(guān)鍵環(huán)節(jié)，軟件測(cè)試起著關(guān)鍵作用。然而，并行軟件由于其并行特點(diǎn)容易導(dǎo)致狀態(tài)空間爆炸，而傳統(tǒng)軟件測(cè)試方法無法針對(duì)并行軟件系統(tǒng)進(jìn)行高效的測(cè)試，通常存在著低覆蓋率、高冗余率、低測(cè)試效率等問題，因此并行軟件測(cè)試問題成為研究熱點(diǎn)。針對(duì)此類問題，本文選擇形式化語言CPN(Colored Petri Net，著色Petri網(wǎng))

2、為待測(cè)并行軟件系統(tǒng)建立模型，針對(duì)并行軟件測(cè)試問題，做了以下幾個(gè)方面的工作:
　　(1)針對(duì)CPN模型提出面向待測(cè)行為的著色Petri網(wǎng)(Tested BehaviorOriented CPN，TBOCPN)的概念，將變遷集合細(xì)化為待測(cè)行為變遷集合、待測(cè)數(shù)據(jù)流相關(guān)行為變遷集合、無關(guān)行為變遷集合，進(jìn)而引出待測(cè)相關(guān)行為模型單元概念，以描述此次測(cè)試目的。
　　(2)提出覆蓋并行待測(cè)行為的軟件測(cè)試序列生成方法。首先，基于TBOCPN模