程序切片技術研究及切片方案設計.pdf

1、隨著軟件規(guī)模的不斷擴大，分析和解決軟件中的問題變得越來越困難。程序切片作為一種分解程序的技術，能有效地將問題簡化，在軟件度量、軟件測試、程序驗證等軟件工程的許多領域起到了重要作用。程序切片在不斷地發(fā)展過程中，衍生出了大量的分支，從切片方向的不同可以分為前向切片和后向切片；從切片角度的不同可以分為靜態(tài)切片、動態(tài)切片、條件切片、準靜態(tài)切片、同步動態(tài)切片、分解切片和無定型切片等。
　　在程序切片的計算方法中，數(shù)據(jù)流方程算法和圖可達性算法

2、是應用較為廣泛的兩種。本文重點研究了數(shù)據(jù)流方程算法和圖可達性算法的建模方式和計算步驟。數(shù)據(jù)流方程算法基于程序的控制流圖，在控制流圖的基礎上采用迭代計算直接依賴關系和間接依賴關系來計算切片。數(shù)據(jù)流方程算法具有建模方式簡單和計算過程復雜的特點，且其適合于過程內(nèi)切片的計算。圖可達性算法基于依賴圖，依賴圖在建模過程中將程序中的控制依賴和數(shù)據(jù)依賴關系生成到圖形中，并使用圖形遍歷算法計算切片。圖可達性算法具有建模過程復雜和計算過程簡單的特點，然而切

3、片中會包含部分冗余代碼。
　　本文在對數(shù)據(jù)流方程算法和圖可達性算法研究的基礎上，設計了兩種切片方案，分別是基于塊的程序切片方案和基于路徑圖的程序切片方案?；趬K的切片方案根據(jù)程序的塊狀模型進行計算，它的切片主體是程序中的塊而不是指令，具有切片準則靈活多樣、計算過程簡單和切片中不含冗余代碼的優(yōu)點。基于路徑圖的程序切片方案需要將程序建模為路徑圖，并通過逐條判定切片區(qū)間中的邊來完成計算?；诼窂綀D的程序切片方案采用了間接判斷控制指令的策