基于数据拓扑图的变量影响分析方法
|
摘要
为了解决软件中数据变量发生异常的问题,找到该异常变量在整个程序中与其余变量之间的关系以及影响范围,提出了一种基于数据拓扑图的数据影响分析方法。研究了静态分析提取变量的依赖关系包括顺序依赖、自身依赖、节点依赖和函数依赖,得到变量的依赖影响集合,生成变量的数据拓扑图。实验结果表明,该方法能全面覆盖程序中的变量并准确地生成指定变量的数据拓扑图,且数据拓扑图能够发现在程序中被异常变量影响的变量。
In order to solve the problem of abnormality of data variables in software,and to find the relationship between the abnormal variables in the whole program and the remaining variables and the influence range of the variables,the data impact analysis method based on data topology graph was proposed. The dependence of static analysis on extracting variables was studied,including order dependence,self dependency,node dependence and function dependence. The dependent influence set of variables was obtained,and the data topology graph of the variables was generated. The experimental results show that the method can completely cover the variables in the program and accurately generate the data topology graph of the specified variables,and the data topology graph can find out which variables are affected by the abnormal variables in the program,and which variables are affected by the abnormal variables.
In order to solve the problem of abnormality of data variables in software,and to find the relationship between the abnormal variables in the whole program and the remaining variables and the influence range of the variables,the data impact analysis method based on data topology graph was proposed. The dependence of static analysis on extracting variables was studied,including order dependence,self dependency,node dependence and function dependence. The dependent influence set of variables was obtained,and the data topology graph of the variables was generated. The experimental results show that the method can completely cover the variables in the program and accurately generate the data topology graph of the specified variables,and the data topology graph can find out which variables are affected by the abnormal variables in the program,and which variables are affected by the abnormal variables.
引文
1虞凯,林梦香.自动化软件错误定位技术研究进展[J].计算机学报,2011,34(8):1411-1422Yu Kai,Lin Mengxiang.Advances in automatic fault localization techniques[J].Chinese Journal of Computers,2011,34(8):1411-1422
2董玉坤.基于符号约束集的条件表达式数据流分析[J].科学技术与工程,2018,18(7):172-178Dong Yukun.Data flow analysis of conditional expression based on symbolic constraints.Science Technology and Engineering[J],2018,18(7):172-178
3李慧贤,刘坚.数据流分析方法[J].计算机工程与应用,2003,39(13):142-144Li Huixian,Liu Jian.Methods of data flow analysis[J].Computer Engineering and Applications,2003,39(13):142-144
4王峰,郭长国,宗建建,等.常用的基于数据流的测试充分性准则[J].清华大学学报(自然科学版),2011,51(增刊1):1407-1413Wang Feng,Guo Changguo,Zong Jianjian,et al.Commonly used test adequacy criteria based on data flows[J].Journal of Tsinghua University(Science and Technology),2011,51(S1):1407-1413
5牟永敏,杨志嘉.基于函数调用路径的软件实现与设计一致性验证[J].中国科学(信息科学),2014,44(10):1290-1304Mu Yongmin,Yang Zhijia.Verify consistency of software implementation and design based on function call path[J].Scientia Sinica(Informationis),2014,44(10):1290-1304.
6张志华,牟永敏.基于函数调用的路径覆盖生成技术研究[J].电子学报,2010,38(8):1808-1811Zhang Zhihua,Mu Yongmin.Research of path coverage generation techniques based function call graph[J].Acta Electronica Sinica,2010,38(8):1808-1811
7牟永敏,杨志嘉,丁媛,等.基于功能点路径的文档互操作测试评价方法[J].清华大学学报(自然科学版),2014,54(7):903-909Mu Yongmin,Yang Zhijia,Ding Yuan,et al.Evaluationmethods for document interoperability testing based on function point paths[J].Journal of Tsinghua University(Science and Technology),2014,54(7):903-909
8 Zeller A,Hildebrandt R.Simplifying and isolating failure-inducing input[J].IEEE Transactions on Software Engineering,2002,28(2):183-200
9宫云战.软件测试.北京:国防工业出版社,2006Gong Yunzhan.Software testing[J].Beijing:Defense Industry Press,2006
10宁国秀,牟永敏,申闫春.等.基于函数调用路径的数据流分析错误定位[J].计算机仿真,2016,33(6):396-400Ning Guoxiu,Mu Yongmin,Shen Yanchun,et al.Fault location of data flow analysis based on the function calling path[J].Computer Simulation,2016,33(6):396-400
11 Law J,Rothermel G.Whole program path-based dynamic impact analysis[C]//Proceedings of International Conference on Software Engineering,2003.New York:IEEE,2003:308-318
12 Li B,Zhang Q,Sun X,et al.Using water wave propagation phenomenon to study software change impact analysis[J].Advances in Engineering Software,2013,58(4):45-53
13 Kagdi H,Gethers M,Poshyvanyk D,et al.Blending conceptual and evolutionary couplings to support change impact analysis in source code[J].Reverse Engineering.IEEE,2010:119-128
14 Poshyvanyk D,Marcus A,Ferenc R,et al.Using information retrieval based coupling measures for impact analysis[J].Empirical Software Engineering,2009,14(1):5-32
15 Kagdi H,Gethers M,Poshyvanyk D,et al.Assigning change requests to software developers[J].Journal of Software Maintenance&Evolution Research&Practice,2012,24(1):3-33
16 Li B,Sun X,Leung H,et al.A survey of code-based change impact analysis techniques[J].Software Testing Verification&Reliability,2012,23(8):613-646
17 Zimmermann T,Weigerber P,Diehl S,et al.Mining version histories to guide software changes[J].IEEE Transactions on Software Engineering,2005,31(6):429-445
18 Kagdi H,Gethers M,Poshyvanyk D.Integrating conceptual and logical couplings for change impact analysis in software[J].Empirical Software Engineering,2013,18(5):933-969
2董玉坤.基于符号约束集的条件表达式数据流分析[J].科学技术与工程,2018,18(7):172-178Dong Yukun.Data flow analysis of conditional expression based on symbolic constraints.Science Technology and Engineering[J],2018,18(7):172-178
3李慧贤,刘坚.数据流分析方法[J].计算机工程与应用,2003,39(13):142-144Li Huixian,Liu Jian.Methods of data flow analysis[J].Computer Engineering and Applications,2003,39(13):142-144
4王峰,郭长国,宗建建,等.常用的基于数据流的测试充分性准则[J].清华大学学报(自然科学版),2011,51(增刊1):1407-1413Wang Feng,Guo Changguo,Zong Jianjian,et al.Commonly used test adequacy criteria based on data flows[J].Journal of Tsinghua University(Science and Technology),2011,51(S1):1407-1413
5牟永敏,杨志嘉.基于函数调用路径的软件实现与设计一致性验证[J].中国科学(信息科学),2014,44(10):1290-1304Mu Yongmin,Yang Zhijia.Verify consistency of software implementation and design based on function call path[J].Scientia Sinica(Informationis),2014,44(10):1290-1304.
6张志华,牟永敏.基于函数调用的路径覆盖生成技术研究[J].电子学报,2010,38(8):1808-1811Zhang Zhihua,Mu Yongmin.Research of path coverage generation techniques based function call graph[J].Acta Electronica Sinica,2010,38(8):1808-1811
7牟永敏,杨志嘉,丁媛,等.基于功能点路径的文档互操作测试评价方法[J].清华大学学报(自然科学版),2014,54(7):903-909Mu Yongmin,Yang Zhijia,Ding Yuan,et al.Evaluationmethods for document interoperability testing based on function point paths[J].Journal of Tsinghua University(Science and Technology),2014,54(7):903-909
8 Zeller A,Hildebrandt R.Simplifying and isolating failure-inducing input[J].IEEE Transactions on Software Engineering,2002,28(2):183-200
9宫云战.软件测试.北京:国防工业出版社,2006Gong Yunzhan.Software testing[J].Beijing:Defense Industry Press,2006
10宁国秀,牟永敏,申闫春.等.基于函数调用路径的数据流分析错误定位[J].计算机仿真,2016,33(6):396-400Ning Guoxiu,Mu Yongmin,Shen Yanchun,et al.Fault location of data flow analysis based on the function calling path[J].Computer Simulation,2016,33(6):396-400
11 Law J,Rothermel G.Whole program path-based dynamic impact analysis[C]//Proceedings of International Conference on Software Engineering,2003.New York:IEEE,2003:308-318
12 Li B,Zhang Q,Sun X,et al.Using water wave propagation phenomenon to study software change impact analysis[J].Advances in Engineering Software,2013,58(4):45-53
13 Kagdi H,Gethers M,Poshyvanyk D,et al.Blending conceptual and evolutionary couplings to support change impact analysis in source code[J].Reverse Engineering.IEEE,2010:119-128
14 Poshyvanyk D,Marcus A,Ferenc R,et al.Using information retrieval based coupling measures for impact analysis[J].Empirical Software Engineering,2009,14(1):5-32
15 Kagdi H,Gethers M,Poshyvanyk D,et al.Assigning change requests to software developers[J].Journal of Software Maintenance&Evolution Research&Practice,2012,24(1):3-33
16 Li B,Sun X,Leung H,et al.A survey of code-based change impact analysis techniques[J].Software Testing Verification&Reliability,2012,23(8):613-646
17 Zimmermann T,Weigerber P,Diehl S,et al.Mining version histories to guide software changes[J].IEEE Transactions on Software Engineering,2005,31(6):429-445
18 Kagdi H,Gethers M,Poshyvanyk D.Integrating conceptual and logical couplings for change impact analysis in software[J].Empirical Software Engineering,2013,18(5):933-969