本文關(guān)鍵詞：覆蓋并行待測(cè)行為的軟件測(cè)試序列生成方法

  更多相關(guān)文章： 待測(cè)行為 測(cè)試序列 著色Petri網(wǎng) 高覆蓋性 低冗余性

【摘要】：并行軟件在人們生活生產(chǎn)中扮演著越來(lái)越重要的角色。例如常見(jiàn)的網(wǎng)絡(luò)軟件、云計(jì)算軟件等軟件系統(tǒng)都具有并行行為特點(diǎn)。而作為保證軟件質(zhì)量的關(guān)鍵環(huán)節(jié),軟件測(cè)試起著關(guān)鍵作用。然而,并行軟件由于其并行特點(diǎn)容易導(dǎo)致?tīng)顟B(tài)空間爆炸,而傳統(tǒng)軟件測(cè)試方法無(wú)法針對(duì)并行軟件系統(tǒng)進(jìn)行高效的測(cè)試,通常存在著低覆蓋率、高冗余率、低測(cè)試效率等問(wèn)題,因此并行軟件測(cè)試問(wèn)題成為研究熱點(diǎn)。針對(duì)此類問(wèn)題,本文選擇形式化語(yǔ)言CPN(Colored Petri Net,著色Petri網(wǎng))為待測(cè)并行軟件系統(tǒng)建立模型,針對(duì)并行軟件測(cè)試問(wèn)題,做了以下幾個(gè)方面的工作:(1)針對(duì)CPN模型提出面向待測(cè)行為的著色Petri網(wǎng)(Tested Behavior Oriented CPN,TBOCPN)的概念,將變遷集合細(xì)化為待測(cè)行為變遷集合、待測(cè)數(shù)據(jù)流相關(guān)行為變遷集合、無(wú)關(guān)行為變遷集合,進(jìn)而引出待測(cè)相關(guān)行為模型單元概念,以描述此次測(cè)試目的。(2)提出覆蓋并行待測(cè)行為的軟件測(cè)試序列生成方法。首先,基于TBOCPN模型及其狀態(tài)空間獲取單個(gè)待測(cè)行為得到相關(guān)狀態(tài)子圖;其次,根據(jù)待測(cè)行為相關(guān)子圖的交集關(guān)系劃分并發(fā)行為集;最后,針對(duì)并發(fā)行為集,提出了完整的測(cè)試序列生成、連接和優(yōu)化方法達(dá)到高覆蓋性、低冗余率的并行軟件測(cè)試效果。(3)針對(duì)待測(cè)及相關(guān)行為執(zhí)行順序全覆蓋性和算法的低冗余性進(jìn)行了分析,通過(guò)并行軟件測(cè)試實(shí)例進(jìn)行了本算法與傳統(tǒng)測(cè)試方法的測(cè)試結(jié)果分析,從而驗(yàn)證了本算法的高覆蓋性、低冗余性。
【學(xué)位授予單位】：內(nèi)蒙古大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2017
【分類號(hào)】：TP311.53;TP301.1

【參考文獻(xiàn)】

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

1 劉啟明;;軟件設(shè)計(jì)模式應(yīng)用研究[J];電子技術(shù)與軟件工程;2015年09期

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

3 王站立;;利用MSXML解析XML文檔[J];科技信息;2009年15期

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

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

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

1 劉璐;基于CP-nets的針對(duì)待測(cè)線性行為的測(cè)試序列生成工具的設(shè)計(jì)與實(shí)現(xiàn)[D];內(nèi)蒙古大學(xué);2016年

2 張玉榮;一種on-the-fly測(cè)試方法研究及其適配器的設(shè)計(jì)與實(shí)現(xiàn)[D];內(nèi)蒙古大學(xué);2016年

3 陳麗娜;數(shù)據(jù)約束下的業(yè)務(wù)流程Petri網(wǎng)模型的變化域分析與控制[D];安徽理工大學(xué);2016年

4 閆璐;Web應(yīng)用二階SQL注入漏洞檢測(cè)方法研究[D];天津大學(xué);2014年

5 張曉迪;基于禁忌搜索的字符串型測(cè)試數(shù)據(jù)自動(dòng)生成[D];北京化工大學(xué);2013年

6 郭麗娟;基于即時(shí)驗(yàn)證的嵌入式軟件驗(yàn)證技術(shù)研究[D];南京航空航天大學(xué);2010年

7 方賢文;基于Petri網(wǎng)的并行程序分析與評(píng)價(jià)[D];山東科技大學(xué);2004年

，

本文編號(hào)：1259765