-
题名一种简化依赖关系的动态程序切片算法
被引量：1
- 1
-
-
作者
贾利敏
张忠林
-
机构
兰州交通大学电子与信息工程学院
-
出处
《郑州大学学报（工学版）》
CAS
北大核心
2009年第2期84-87,共4页
-
基金
甘肃省科技支撑计划项目(0804JKCA040)
-
文摘
动态程序切片是由影响程序中某个兴趣点处变量值的所有语句和控制谓词组成的一个程序子集.笔者提出了一种简化依赖关系的动态程序切片算法,主要目的是解决H.Agrawal的动态切片算法计算切片不太精确的问题,该算法通过程序执行轨迹,确定数据依赖结点、控制依赖结点和结点可到达语句来计算变量切片.实例证明,该算法提高了动态切片的精确度,减少了计算动态程序切片的复杂度.
-
关键词
动态程序切片
切片准则
动态程序切片算法
依赖关系
程序依赖图
-
Keywords
dynamic program slicing
slice criterion
dependence relationship
program dependence graph
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种用于测试数据生成的动态程序切片算法
被引量：6
- 2
-
-
作者
王雪莲
赵瑞莲
李立健
-
机构
北京化工大学信息科学与技术学院
中国科学院自动化研究所
-
出处
《计算机应用》
CSCD
北大核心
2005年第6期1445-1447,1450,共4页
-
基金
国家自然科学基金资助项目(60473032)
教育部科学技术重点项目(105018)
-
文摘
介绍了程序切片技术的基本概念,提出了一种基于前向分析的动态程序切片算法,探讨了程序切片在软件测试数据生成中的应用,结果表明可以有效地提高基于路径的测试数据生成效率。
-
关键词
程序切片
测试数据生成
前向分析
动态程序切片算法
-
Keywords
program slicing
test data generation
forward analysis
dynamic program slice algorithm
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
