-
程序切片
鎖定
程序切片是一種用於分解程序的程序分析技術，它的原理和方法是由M.Weiser於1979年在他的博士論文中首次建立。
- 中文名
- 程序切片
- 屬 性
- 程序分析技術
- 提出者
- M.Weiser
- 提出時間
- 1979年
程序切片有兩個含義：
1、一般地，把只與某個輸出有關的語句和謂詞構成的程序稱為源程序的一種靜態切片。
2、計算程序切片的過程。
計算程序切片的方法主要有兩種：根據數據流方程計算和根據依賴圖關係計算。
可分為靜態、有條件和動態切片，各種切片都有各自的優勢與劣勢，對軟件逆向工程方面有一定的幫助。
實例（）：
int i;
int sum =0;
int product =1;
for(i =0; i < N;++i){
sum = sum + i;
product = product *i;
}
write(sum);
write(product);
在以write(sum) 為準則進行後向切片時，將得到如下結果：
int i;
int sum =0;
for(i =0; i < N;++i){
sum = sum + i;
}
write(sum);
