程序切片是一種分析和理解程序的技術:是通過對源程序中每個興趣點分別計算切片來達到對程序的分 析和理解=程序中某個興趣點的程序切片不僅與在該點定義和使用的變量有關:而且與影響該變量的值的語句和 謂詞以及受該變量的值影響的語句和謂詞有關=文中詳細闡述了程序切片技術的研究與進展情況:并對目前存在 各種程序切片方法和工具進行了比較C簡單介紹了文中提出的面向對象的分層切片方法及其算法的思想C最后分 析了程序切片技術目前還存在的一些問題及其發展趨勢