CPN模型初始標(biāo)記域生成工具的設(shè)計(jì)與實(shí)現(xiàn).pdf

1、隨著軟件技術(shù)日新月異的發(fā)展，并行軟件系統(tǒng)被廣泛應(yīng)用。但是，由于并行軟件中并行行為導(dǎo)致的狀態(tài)爆炸問題，使得軟件測試工作越來越復(fù)雜。形式化建模語言CPN(Colored Petri net，著色Petri網(wǎng))是適合于描述并行軟件的建模語言，但是當(dāng)待測軟件模型狀態(tài)空間爆炸時(shí)，軟件測試工作仍然難以高效完成。本文提出一種針對待測目標(biāo)的CPN模型初始標(biāo)記域自動(dòng)生成算法，并實(shí)現(xiàn)了基于本算法的軟件工具。一方面，在不需要生成狀態(tài)空間的前提下，可以得到到達(dá)

2、待測目標(biāo)行為的初始標(biāo)記范圍，為并行軟件黑盒測試提供基礎(chǔ)條件;另一方面，還可以借助此工具更有效地設(shè)置初始標(biāo)記，使模型的狀態(tài)空間規(guī)模得到有效地控制，從而提高基于狀態(tài)空間的白盒測試的效率。具體工作如下:
　　(1)讀取并解析待測軟件系統(tǒng)的CPN模型文件，設(shè)置待測目標(biāo)庫所，搜索從模型初始元素到待測目標(biāo)的全部路徑。本文采用逐個(gè)選擇其前驅(qū)節(jié)點(diǎn)進(jìn)行回溯的方法解決了CPN模型中多前驅(qū)節(jié)點(diǎn)的問題。
　　(2)對每條路徑上的弧表達(dá)式及變遷節(jié)點(diǎn)防

3、衛(wèi)表達(dá)式進(jìn)行處理，得到關(guān)于初始變量的路徑表達(dá)式。本文采用變量代換的方法對每條路徑做表達(dá)式集成，解決了每個(gè)變遷上的相關(guān)變量彼此無關(guān)的問題。
　　(3)對每條路徑上得到的路徑表達(dá)式進(jìn)行條件獲取，得到每條路徑上的表達(dá)式條件。本文采用去冗余及對關(guān)鍵字進(jìn)行提取、處理等方法解決了含運(yùn)算符、關(guān)鍵字等較長字符串的條件提取問題。
　　(4)對CPN模型元素分類進(jìn)行處理，特別地，CPN模型同步節(jié)點(diǎn)分類需特殊討論。本文采用遍歷路徑查找同步點(diǎn)及變量