程序切片技術(shù)研究及切片方案設(shè)計.pdf

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

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

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