基于逆向程序流和函数依赖集的程序切片算法

基于逆向程序流和函数依赖集的程序切片算法
刘艳;李龙澍
【期刊名称】《计算机与现代化》
【年(卷),期】2013(0)8
【摘要】程序切片技术大多是根据程序依赖图(PDG)和系统依赖图(SDG)的图可达性算法来优化得到感兴趣的程序集合,但是构造PDG和SDG需要很大的空间开销.本文提出一种基于逆向程序流和函数依赖集的切片算法,从兴趣点开始扫描逆向程序流来计算程序切片,只计算与切片相关的数据依赖,并且考虑函数调用时切片的计算,提高计算切片的效率.通过实例表明该算法减少了计算程序切片的复杂度,具有一定的可行性和实用性.%Program slicing technique is mostly based on the accessibility algorithm of program dependence graph (PDG) and system dependence graph (SDG) to get a set of interested programs which are optimized,but to construct PDG and SDG need a lot of time and space.So this paper presents a slicing algorithm based on reverse program flow and function dependency set,it scans the reverse program flow to calculate program slicing of the interested points which only related to data dependence of program slicing.The algorithm mainly considers the calculation of function call,improves the computational efficiency.It also founds that through instances the algorithm reduces the complexity of program slicing calculating,and it is feasible and practical.
【总页数】4页(P122-124,132)
【作者】刘艳;李龙澍
【作者单位】安徽大学计算机科学与技术学院,安徽合肥230601;安徽大学计算智能与信号处理教育部重点实验室,安徽合肥230601
【正文语种】中文
【中图分类】TP391
【相关文献】
1.改进的基于逆向流分析的C程序切片算法 [J], 李冰雨;吕帅;何丽莉
2.基于程序切片的一种耦合度量改进算法 [J], 王良平;江国华
3.基于GCC关键变量数据流分析算法的程序切片技术 [J], 杨小川;姜军;马晓东;漆锋滨
4.一种基于逆向程序流的程序切片算法 [J], 白文科;杨献春;许满武
5.一种基于程序切片算法的软件故障诊断策略 [J], 周婕;慕晓冬;王杰
因版权原因，仅展示原文概要，查看原文内容请购买。