程序切片是一種分析和理解程序的技術(shù):是通過(guò)對(duì)源程序中每個(gè)興趣點(diǎn)分別計(jì)算切片來(lái)達(dá)到對(duì)程序的分 析和理解=程序中某個(gè)興趣點(diǎn)的程序切片不僅與在該點(diǎn)定義和使用的變量有關(guān):而且與影響該變量的值的語(yǔ)句和 謂詞以及受該變量的值影響的語(yǔ)句和謂詞有關(guān)=文中詳細(xì)闡述了程序切片技術(shù)的研究與進(jìn)展情況:并對(duì)目前存在 各種程序切片方法和工具進(jìn)行了比較C簡(jiǎn)單介紹了文中提出的面向?qū)ο蟮姆謱忧衅椒捌渌惴ǖ乃枷隒最后分 析了程序切片技術(shù)目前還存在的一些問(wèn)題及其發(fā)展趨勢(shì)