文献类型：期刊文章

作　　者：潘亚飞[1] 牟永敏[1]

PAN Ya-fei;MU Yong-min(School of Computer,Open Computer System Laboratory,Beijing Information Science and Technology University,Beijing 100101,China)

机构地区：[1]北京信息科技大学计算机学院计算机开放系统实验室,北京100101

出　　处：《科学技术与工程》

基　　金：国家自然科学基金(61370129);网络文化与数字传播北京市重点实验室开放课题(ICDD2017XX);北京市自然科学基金重点研究专题项目(Z160002)资助

年　　份：2019

卷　　号：19

期　　号：2

起止页码：135-143

语　　种：中文

收录情况：BDHX、BDHX2017、ZGKJHX、核心刊

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

关 键 词：数据拓扑图  依赖影响集  静态分析  顺序依赖  自身依赖  节点依赖  函数依赖

分 类 号：TP311]