一种分析和理解程序的方法--程序切片

摘要：

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

关键词：数据依赖、控制依赖、依赖图、程序切片、分层切片

所属期刊栏目：37

分类号：TP311.5(计算技术、计算机技术)

资助基金：合肥经济技术学院校科研和教改项目99-183;江苏省自然科学基金BK99038

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：284-291