PDG算法在动态切片技术中的应用研究
Application of PDG Arithmetic to Dynamic Program Slice Techniques作者机构:兰州交通大学电子与信息工程学院甘肃兰州730070
出 版 物:《兰州交通大学学报》 (Journal of Lanzhou Jiaotong University)
年 卷 期:2008年第27卷第1期
页 面:141-143,152页
学科分类:08[工学] 0812[工学-计算机科学与技术(可授工学、理学学位)] 081202[工学-计算机软件与理论]
摘 要:动态程序切片是由影响程序中某个兴趣点处变量值的所有语句和控制谓词组成的一个程序子集,在程序理解、测试、调试、集成和软件维护等方面具有广泛的应用.介绍了动态切片的基本概念,并将程序依赖图算法应用于动态切片,从而达到缩小程序分析范围的目的,讨论了动态切片在程序调试和软件测试中的应用.