基于数据拓扑图的变量影响分析方法

为了解决软件中数据变量发生异常的问题,找到该异常变量在整个程序中与其余变量之间的关系以及影响范围,提出了一种基于数据拓扑图的数据影响分析方法。研究了静态分析提取变量的依赖关系包括顺序依赖、自身依赖、节点依赖和函数依赖,得到变量的依赖影响集合,生成变量的数据拓扑图。实验结果表明,该方法能全面覆盖程序中的变量并准确地生成指定变量的数据拓扑图,且数据拓扑图能够发现在程序中被异常变量影响的变量。