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

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

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

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