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

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

【學位級別】：碩士

【部分圖文】：

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

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

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

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

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

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

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

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

本文編號：3972575