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