程序动态切片技术研究.docVIP

毕 业 设 计（论 文） 程序动态切片技术研究 专业年级： 07级计算机2班 学 号： 0706010234 姓 名： 惠军绪 指导教师： 邹 阳 评 阅 人： 2011年6月 中国 南京摘 要 程序切片技术是一种重要的程序分析技术，广泛应用于程序的调试、测试与维护等领域。程序切片主要通过寻找程序内部的相关特性，从而分解程序，然后对分解所得的程序切片进行分析研究，以此达到对整个程序理解和认识的目的。动态切片主要在某个给定输入的条件下，源程序执行路径上所有对程序某条语句或兴趣点上的变量有影响的语句。 本文采用一种基于依赖图的面向对象的动态程序切片方法,核心算法是以静态程序的程序依赖图为基础，先从程序依赖图里提取出对应给定执行历史的，使用图可达性算法，从而获得所需的动态切片Abstract Program slicing is an important program analysis techniques, widely used in debugging, testing and maintenance and ot