發(fā)布時(shí)間：2024-05-13 19:06

　　并行軟件的發(fā)展給互聯(lián)網(wǎng)行業(yè)帶來高效解決方式的同時(shí),也給軟件測(cè)試帶來了很多挑戰(zhàn)。盡管已經(jīng)有諸多學(xué)者致力于并行軟件測(cè)試的自動(dòng)生成工作,但已有的工作中,一方面,基于狀態(tài)空間的方法由于其固有特性易受狀態(tài)空間爆炸的影響,導(dǎo)致效率低下。另一方面,基于模型的方法也面臨著模型節(jié)點(diǎn)多,目標(biāo)路徑情況錯(cuò)綜復(fù)雜的問題,亟需一種快速高效的解決方式。因而,如何在測(cè)試數(shù)據(jù)未知的情況下,快速高效的獲取能夠有效覆蓋待測(cè)目標(biāo)的初始標(biāo)識(shí)條件對(duì)測(cè)試工作而言是非常有意義的。鑒于上述背景,本文研究了覆蓋并行目標(biāo)的初始標(biāo)識(shí)條件生成方法。本文所涉及到的研究工作可以歸結(jié)為以下幾大方面:(1)提出基于變遷覆蓋的并行軟件測(cè)試覆蓋準(zhǔn)則,并基于該準(zhǔn)則提出覆蓋并行目標(biāo)的路徑搜索及優(yōu)化算法。首先,提出變遷覆蓋準(zhǔn)則;其次,根據(jù)待測(cè)目標(biāo)邊搜索邊生成能夠覆蓋待測(cè)目標(biāo)集的所有可行路徑,即全路徑集合;然后,依據(jù)覆蓋準(zhǔn)則,結(jié)合關(guān)聯(lián)變遷與依賴變遷的不同分布可能,在保證對(duì)目標(biāo)完成有效覆蓋的基礎(chǔ)上盡可能地去除全路徑集合中的冗余路徑。只有當(dāng)路徑集合滿足覆蓋準(zhǔn)則時(shí)才能保證得到的初始標(biāo)識(shí)條件是高覆蓋并且低冗余的,為后續(xù)工作奠定良好基礎(chǔ)。(2)在上述研究基礎(chǔ)上,提出一種針...

【文章頁數(shù)】：83 頁

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

【部分圖文】：

圖3.5測(cè)試場(chǎng)景一路徑優(yōu)化處理示意圖

圖3.5測(cè)試場(chǎng)景一路徑優(yōu)化處理示意圖Figure3.5Theflowchartofpathoptimizationinthefirsttestscenario來我們考慮關(guān)聯(lián)變遷集合為空且待測(cè)目標(biāo)變遷間互不為影響變遷況。也就是說待測(cè)目標(biāo)變遷的執(zhí)行有潛在的可....

圖3.7測(cè)試場(chǎng)景二路徑優(yōu)化處理示意圖

而其前置位置個(gè)數(shù)往往大于1，因而不可以去除路徑與徑，否則將引起依賴變遷所處變遷無法點(diǎn)火，從而使得數(shù)據(jù)無法據(jù)路徑優(yōu)化子算法的具體處理要求，可知當(dāng)前全路徑集合FullPa有待處理路徑PendingPath={p1t1p3t3p9t10p13t13,p1t1p3t4p10t10....

圖3.9測(cè)試場(chǎng)景三路徑優(yōu)化處理示意圖

內(nèi)蒙古大學(xué)碩士學(xué)位論文待測(cè)目標(biāo)變遷集合時(shí)應(yīng)能覆蓋的路徑分為以下幾類：經(jīng)過關(guān)聯(lián)變遷t6流轉(zhuǎn)到待測(cè)目標(biāo)t15；不經(jīng)過關(guān)聯(lián)變遷t6流轉(zhuǎn)到待測(cè)目標(biāo)t15；析并執(zhí)行算法后得到的待處理路徑集合PendingPath={p1t1p2t2p5t6t7p12t11p14t15}，滿足....

圖3.11測(cè)試場(chǎng)景四路徑優(yōu)化處理示意圖

內(nèi)蒙古大學(xué)碩士學(xué)位論文Path={p1t1p2t2p5t6p12t11}。最后將上述求得的兩部分投射路徑集合相加，即得到合PendingPath={p1t1p2t2p5t6p12t11,p1t1p2t2p6t7p12t11,p1t1p2t2p7t8p12t11}。圖3.....

本文編號(hào)：3972575