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

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

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