發(fā)布時(shí)間：2017-12-12 21:17

  本文關(guān)鍵詞：CPN模型初始標(biāo)記域生成工具的設(shè)計(jì)與實(shí)現(xiàn)

  更多相關(guān)文章： 并行軟件 CPN模型 模型初始標(biāo)記域 軟件測(cè)試

【摘要】：隨著軟件技術(shù)日新月異的發(fā)展,并行軟件系統(tǒng)被廣泛應(yīng)用。但是,由于并行軟件中并行行為導(dǎo)致的狀態(tài)爆炸問(wèn)題,使得軟件測(cè)試工作越來(lái)越復(fù)雜。形式化建模語(yǔ)言CPN(Colored Petri net,著色Petri網(wǎng))是適合于描述并行軟件的建模語(yǔ)言,但是當(dāng)待測(cè)軟件模型狀態(tài)空間爆炸時(shí),軟件測(cè)試工作仍然難以高效完成。本文提出一種針對(duì)待測(cè)目標(biāo)的CPN模型初始標(biāo)記域自動(dòng)生成算法,并實(shí)現(xiàn)了基于本算法的軟件工具。一方面,在不需要生成狀態(tài)空間的前提下,可以得到到達(dá)待測(cè)目標(biāo)行為的初始標(biāo)記范圍,為并行軟件黑盒測(cè)試提供基礎(chǔ)條件;另一方面,還可以借助此工具更有效地設(shè)置初始標(biāo)記,使模型的狀態(tài)空間規(guī)模得到有效地控制,從而提高基于狀態(tài)空間的白盒測(cè)試的效率。具體工作如下:(1)讀取并解析待測(cè)軟件系統(tǒng)的CPN模型文件,設(shè)置待測(cè)目標(biāo)庫(kù)所,搜索從模型初始元素到待測(cè)目標(biāo)的全部路徑。本文采用逐個(gè)選擇其前驅(qū)節(jié)點(diǎn)進(jìn)行回溯的方法解決了 CPN模型中多前驅(qū)節(jié)點(diǎn)的問(wèn)題。(2)對(duì)每條路徑上的弧表達(dá)式及變遷節(jié)點(diǎn)防衛(wèi)表達(dá)式進(jìn)行處理,得到關(guān)于初始變量的路徑表達(dá)式。本文采用變量代換的方法對(duì)每條路徑做表達(dá)式集成,解決了每個(gè)變遷上的相關(guān)變量彼此無(wú)關(guān)的問(wèn)題。(3)對(duì)每條路徑上得到的路徑表達(dá)式進(jìn)行條件獲取,得到每條路徑上的表達(dá)式條件。本文采用去冗余及對(duì)關(guān)鍵字進(jìn)行提取、處理等方法解決了含運(yùn)算符、關(guān)鍵字等較長(zhǎng)字符串的條件提取問(wèn)題。(4)對(duì)CPN模型元素分類(lèi)進(jìn)行處理,特別地,CPN模型同步節(jié)點(diǎn)分類(lèi)需特殊討論。本文采用遍歷路徑查找同步點(diǎn)及變量名一致的前驅(qū)節(jié)點(diǎn)的方法解決了CPN模型中同步點(diǎn)需要綜合多條路徑進(jìn)行處理及模型中含多個(gè)同步點(diǎn)時(shí)同步點(diǎn)處理順序的問(wèn)題。最后,通過(guò)模型初始標(biāo)記域自動(dòng)生成實(shí)例分析和論證,說(shuō)明本文所實(shí)現(xiàn)的針對(duì)待測(cè)目標(biāo)的CPN模型初始標(biāo)記域自動(dòng)生成工具能夠有效地完成CPN模型初始標(biāo)記域自動(dòng)生成,提升了軟件測(cè)試效率。
【學(xué)位授予單位】：內(nèi)蒙古大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2017
【分類(lèi)號(hào)】：TP311.52

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前7條

1 孫濤;葉新銘;;針對(duì)軟件中2路并發(fā)行為完全覆蓋的測(cè)試方法[J];重慶郵電大學(xué)學(xué)報(bào)(自然科學(xué)版);2014年06期

2 孫濤;葉新銘;劉靖;楊蒙;;一種基于CPN的協(xié)議測(cè)試序列生成方法[J];解放軍理工大學(xué)學(xué)報(bào)(自然科學(xué)版);2012年02期

3 孟祥豐;;軟件的黑盒測(cè)試方法解析與優(yōu)化[J];物聯(lián)網(wǎng)技術(shù);2011年08期

4 蔡立志;;基于CPN狀態(tài)空間的軟件場(chǎng)景測(cè)試[J];計(jì)算機(jī)應(yīng)用與軟件;2010年09期

5 王勝德;胡望斌;徐宗昌;;優(yōu)先級(jí)Petri網(wǎng)的CPN Tools仿真模型研究[J];系統(tǒng)仿真學(xué)報(bào);2008年03期

6 鄭嘯;秦鋒;;基于Petri網(wǎng)的協(xié)議測(cè)試?yán)詣?dòng)生成[J];華中科技大學(xué)學(xué)報(bào)(自然科學(xué)版);2006年03期

7 萬(wàn)年紅,李翔;軟件黑盒測(cè)試的方法與實(shí)踐[J];計(jì)算機(jī)工程;2000年12期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前1條

1 王倩;尤楓;趙瑞蓮;;一種二叉樹(shù)結(jié)構(gòu)型測(cè)試數(shù)據(jù)自動(dòng)生成方法[A];第十四屆全國(guó)容錯(cuò)計(jì)算學(xué)術(shù)會(huì)議(CFTC'2011)論文集[C];2011年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前3條

1 孫濤;基于CP-nets模型的并行軟件測(cè)試方法研究[D];內(nèi)蒙古大學(xué);2012年

2 胡瑜;基于有色Petri網(wǎng)理論的并行自動(dòng)測(cè)試系統(tǒng)建模研究[D];電子科技大學(xué);2003年

3 趙瑞蓮;軟件測(cè)試方法研究[D];中國(guó)科學(xué)院研究生院（計(jì)算技術(shù)研究所）;2001年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前6條

1 張亞萍;基于云計(jì)算的軟件測(cè)試關(guān)鍵技術(shù)研究[D];南京郵電大學(xué);2016年

2 劉文龍;一種CP-nets的模型跡等價(jià)化簡(jiǎn)工具的設(shè)計(jì)與實(shí)現(xiàn)[D];內(nèi)蒙古大學(xué);2016年

3 丁森科;基于Petri Net軟件測(cè)試系統(tǒng)的研究[D];浙江大學(xué);2016年

4 彭葉蘋(píng);基于遺傳算法的測(cè)試數(shù)據(jù)自動(dòng)生成方法研究[D];廣東工業(yè)大學(xué);2013年

5 霍敏霞;基于Petri網(wǎng)的并發(fā)程序測(cè)試路徑生成[D];西南大學(xué);2011年

6 陳文萍;基于遺傳算法的軟件測(cè)試用例優(yōu)化技術(shù)研究[D];北京化工大學(xué);2009年

，

本文編號(hào)：1283984