10.3969/j.issn.2095-6835.2010.06.082
一种包含异常传播的类间数据依赖分析方法
类间数据依赖分析是类间数据流测试的基础.本文通过分析类簇级测试中的异常传播对程序数据依赖的影响,提出一种包括异常结构在内的类间C++程序数据依赖分析方法,根据类间关系增量式地构造类间数据依赖图,并给出类间数据依赖图的构造算法.最后,在程序切片中应用了该数据依赖分析方法.结果证明,该方法通过分析异常传播对数据依赖的影响能够带来切片精度的提高.
类间数据依赖图、异常传播、数据依赖、程序切片
26
TP311(计算技术、计算机技术)
基金申请人:姜淑娟;项目名称:程序的异常传播分析技术研究;基金颁发部门:教育部108063
2014-07-08(万方平台首次上网日期,不代表论文的发表时间)
共3页
201-203