并發(fā)軟件在軟件行業(yè)中扮演了一個(gè)重要角色,可靠的軟件質(zhì)量需要全面的測(cè)試工作來(lái)保證。并發(fā)軟件執(zhí)行過(guò)程非常復(fù)雜,系統(tǒng)的狀態(tài)數(shù)目巨大,然而目前的軟件測(cè)試方法大多數(shù)都存在覆蓋率低、冗余率高或測(cè)試效率低等現(xiàn)象。因此在保證無(wú)冗余的情況下,生成對(duì)測(cè)試目標(biāo)完全覆蓋的測(cè)試序列是非常困難的。本文采用待測(cè)行為集合描述測(cè)試目的,并將測(cè)試覆蓋標(biāo)準(zhǔn)定義為對(duì)待測(cè)行為及其數(shù)據(jù)相關(guān)行為執(zhí)行路徑的全覆蓋。為提升測(cè)試序列獲取效果和效率,本文基于形式化語(yǔ)言著色Petri網(wǎng)（Colored Petri Net,CPN）,提出一種適用于并發(fā)軟件的測(cè)試序列生成方法。該方法在狀態(tài)空間中通過(guò)狀態(tài)節(jié)點(diǎn)投影、狀態(tài)結(jié)點(diǎn)剪枝、弧剪枝等方法,去除與測(cè)試目的無(wú)關(guān)的執(zhí)行路徑,以縮減狀態(tài)空間規(guī)模。針對(duì)基于狀態(tài)空間剪枝的并發(fā)軟件測(cè)試序列生成方法,做了以下四個(gè)方面的工作:（1）采用待測(cè)行為集合描述測(cè)試目的,并將測(cè)試覆蓋標(biāo)準(zhǔn)定義為對(duì)待測(cè)、及其數(shù)據(jù)相關(guān)行為執(zhí)行路徑覆蓋。對(duì)CPN模型進(jìn)行擴(kuò)展,將軟件系統(tǒng)模型中的變遷劃分為四類:（1）待測(cè)行為,（2）相關(guān)行為,（3）與待測(cè)、相關(guān)行為存在并發(fā)關(guān)系的并發(fā)無(wú)關(guān)行為,（4）與待測(cè)、相關(guān)行為不存在并發(fā)關(guān)系的非并發(fā)無(wú)關(guān)行為。為... 

【文章來(lái)源】：內(nèi)蒙古大學(xué)內(nèi)蒙古自治區(qū) 211工程院校

【文章頁(yè)數(shù)】：73 頁(yè)

【學(xué)位級(jí)別】：碩士

【部分圖文】：

剪枝后的狀態(tài)空間Figure5.3TheStateSpaceafterPrune

（2）獲取相鄰可達(dá)子圖之間最短連接序列；RS(M10, M55)與 RS(M75, M107)之間的最短序列 path1，具體如下：ath 1：M55→PreAnalisys→M64→PrePlan→M70→Notice→M73→Live Record→M75RS(M75, M107)與 RS(M117, M121)之間的最短序列 path 2，具體如下：ath 2：M107→Online1→M113→Suspicious Item→M115→Next Process→M116→Overall Analyze117（3）獲取系統(tǒng)初態(tài)到第一個(gè)可達(dá)子圖初態(tài)之間的連接序列 Path I，具體如下：ath I = M1→Alarm Call→M2→Time Record→M4→Location Record→M10（4）獲取系統(tǒng)末態(tài)到最后一個(gè)可達(dá)子圖末態(tài)之間的連接序列 Path E，具體如下：ath E = M121→Crack→M123→End Report→M125→Online2→M127→Case Archive→M128因此，測(cè)試序列的集合為：FullPath = path I ×SubPath1×SubPath2 ×SubPath3 ×path 60 條測(cè)試序列，如圖 5.4 所示。

基于狀態(tài)空間剪枝的并發(fā)軟件測(cè)試序列生成方法測(cè)試目的，但存在大量的冗余序列，因此該方法在此基礎(chǔ)上提出測(cè)試優(yōu)化方法將冗余序列去除，最終得到對(duì)待測(cè)、相關(guān)行為完全覆蓋且無(wú)冗余的測(cè)試序列。由于該方法需要進(jìn)行大量的優(yōu)化工作，降低了測(cè)試效率，因此本方法與其優(yōu)化工作前的測(cè)試效果進(jìn)行比較。


本文編號(hào)：3275325