程序切片技术.pdf

程序切片是一种分析和理解程序的技术:是通过对源程序中每个兴趣点分别计算切片来达到对程序的分 析和理解=程序中某个兴趣点的程序切片不仅与在该点定义和使用的变量有关:而且与影响该变量的值的语句和 谓词以及受该变量的值影响的语句和谓词有关=文中详细阐述了程序切片技术的研究与进展情况:并对目前存在 各种程序切片方法和工具进行了比较C简单介绍了文中提出的面向对象的分层切片方法及其算法的思想C最后分 析了程序切片技术目前还存在的一些问题及其发展趋势