一种简化依赖关系的动态程序切片算法  

A Dynamic Program Slice Algorithm based on Simplified Dependence

作　　者：贾利敏[1] 张忠林[1] 

机构地区：[1]兰州交通大学电子与信息工程学院,甘肃兰州730070

出　　处：《郑州大学学报（工学版）》2009年第2期84-87,共4页Journal of Zhengzhou University（Engineering Science）

基　　金：甘肃省科技支撑计划项目(0804JKCA040)

摘　　要：动态程序切片是由影响程序中某个兴趣点处变量值的所有语句和控制谓词组成的一个程序子集.笔者提出了一种简化依赖关系的动态程序切片算法,主要目的是解决H.Agrawal的动态切片算法计算切片不太精确的问题,该算法通过程序执行轨迹,确定数据依赖结点、控制依赖结点和结点可到达语句来计算变量切片.实例证明,该算法提高了动态切片的精确度,减少了计算动态程序切片的复杂度.Dynamic program slice is a program subset which contains variable values affecting some interesting point in program and some controlling predication. This paper presents a dynamic program slicing algorithm which simplifies dependence.The purpose of algorithm is to solve the problem that H.Agrawal s dynamic slicing is not accurate.By determining the data dependence node、control dependence node and reachable node,this algorithm calculates variable slice by program path.The experiment results show that it imp...

关 键 词：动态程序切片 切片准则 动态程序切片算法 依赖关系 程序依赖图 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]