程序切片技術(shù)在測(cè)試數(shù)據(jù)自動(dòng)生成中的研究與應(yīng)用.pdf

1、在軟件測(cè)試中，測(cè)試數(shù)據(jù)生成是其核心與關(guān)鍵。實(shí)際測(cè)試活動(dòng)中，往往要求能達(dá)到一定程度的路徑覆蓋。因此，探討一種輔助面向路徑測(cè)試數(shù)據(jù)自動(dòng)生成的有效方法，具有十分重要的意義。程序切片技術(shù)是一種分析和理解程序的技術(shù)，具有可以簡(jiǎn)化問題，縮小目標(biāo)范圍的特點(diǎn)，在軟件維護(hù)、程序調(diào)試、測(cè)試、代碼理解等諸多領(lǐng)域有著廣泛的應(yīng)用。將程序切片技術(shù)應(yīng)用到軟件測(cè)試數(shù)據(jù)生成中，重點(diǎn)關(guān)注程序中指定路徑上興趣點(diǎn)相關(guān)的那部分語(yǔ)句，可以有效地提高基于路徑的測(cè)試數(shù)據(jù)生成效率。

2、 本文全面闡述了程序切片技術(shù)及其目前的研究成果，針對(duì)已有動(dòng)態(tài)切片算法存在的弊端，提出了一種更加精確的基于前向分析的動(dòng)態(tài)切片算法。該方法利用前向分析的思想，在執(zhí)行完一條語(yǔ)句后，立即計(jì)算出當(dāng)前興趣點(diǎn)處變量的程序切片，節(jié)省了記錄程序執(zhí)行軌跡和構(gòu)造程序依賴圖所需的龐大的時(shí)間和空間開銷；而且標(biāo)記復(fù)雜塊的出入口，以判斷跳離復(fù)雜塊時(shí)變量是否被修改；對(duì)于同一變量的多個(gè)定義，選取最近被定義的語(yǔ)句，從而大大提高了動(dòng)態(tài)切片的精確度，實(shí)現(xiàn)起來(lái)也比較簡(jiǎn)單，方