針對(duì)并行待測(cè)行為測(cè)試的CPN模型化簡方法.pdf

1、隨著軟件產(chǎn)業(yè)的飛速發(fā)展，并行軟件系統(tǒng)已經(jīng)成為當(dāng)下主流的一種軟件系統(tǒng)，在人們生活生產(chǎn)中扮演越來越重要的角色。例如常見的云計(jì)算軟件、網(wǎng)絡(luò)軟件等軟件系統(tǒng)都具有并行行為的特點(diǎn)。而作為保證軟件質(zhì)量的關(guān)鍵環(huán)節(jié)，軟件測(cè)試則起著關(guān)鍵作用。然而，并行軟件由于其并行特點(diǎn)容易導(dǎo)致狀態(tài)空間爆炸，傳統(tǒng)測(cè)試方法大多針對(duì)狀態(tài)空間完成測(cè)試序列生成，狀態(tài)爆炸時(shí)無法進(jìn)行高效的軟件測(cè)試，通常存在著低覆蓋率、高冗余率、低測(cè)試效率等問題。通過模型化簡縮減狀態(tài)空間的方法可以有效降

2、低并行軟件測(cè)試的復(fù)雜度，保證化簡后模型測(cè)試效果不變是化簡方法研究中的關(guān)鍵問題。目前針對(duì)軟件測(cè)試的模型化簡方法主要是基于跡等價(jià)的化簡，此類方法并不能夠降低并發(fā)執(zhí)行的復(fù)雜度，所以化簡效果有限。本文圍繞待測(cè)行為及其相關(guān)行為進(jìn)行并行軟件模型化簡，針對(duì)與待測(cè)行為無關(guān)的分支進(jìn)行串行化處理以及限制處理，從而實(shí)現(xiàn)縮減狀態(tài)空間的目的，使得化簡前后關(guān)于待測(cè)行為的測(cè)試效果不變。本文關(guān)于化簡方法做了以下幾個(gè)方面的工作:
　　(1)針對(duì)復(fù)雜并行軟件模型，引

3、入待測(cè)行為及相關(guān)行為等概念，以待測(cè)行為來描述本次測(cè)試的目的，以相關(guān)行為來描述與本次測(cè)試數(shù)據(jù)流相關(guān)的行為。在模型的化簡過程中，本方法僅僅對(duì)與本次測(cè)試無關(guān)的非待測(cè)行為進(jìn)行化簡，因此不僅保證了本方法的正確性，而且縮減了狀態(tài)空間規(guī)模，從而提升了測(cè)試的效率。
　　(2)本文提出了同源分支的概念，將同源分支劃分為并發(fā)分支組或選擇分支集，在并發(fā)分支組或選擇分支集內(nèi)部進(jìn)行化簡操作。由于一個(gè)并發(fā)分支組或選擇分支集中的全部分支都來自于同一源節(jié)點(diǎn)，同源

4、性保證了無關(guān)分支串行化處理和限制處理對(duì)于待測(cè)相關(guān)行為的測(cè)試不受影響。
　　(3)在一個(gè)并發(fā)分支組或選擇分支集內(nèi)部，依據(jù)支路存在待測(cè)行為和相關(guān)行為的情況，采用添加抑制弧的方式，完成待測(cè)行為無關(guān)分支的串行化操作和限制處理。通過抑制弧的方式?jīng)]有修改任何模型元素，只是限制了并發(fā)順序及部分無關(guān)分支限制處理，保證了化簡后模型的正確性。并發(fā)分支的串行化和選擇分支的限制處理可以大幅縮減狀態(tài)空間，被串行化和限制處理的分支不含有待測(cè)行為或相關(guān)行為，所