摘要
数据流分析作为程序分析的一种重要手段,已广泛应用于各种软件工程任务中。传统的数据流迭代分析法没有考虑变量因作用域问题而被隐藏和覆盖的现象,导致数据流信息不准确。在传统数据流迭代分析法的基础上提出一种基于变量作用域的数据流分析方法,它解决了变量被隐藏和覆盖的问题。最后将改进的方法和传统分析方法分别应用于程序切片中,实验证实了改进的方法更加准确。
As an important technology of programming analysis,data flow analysis is widely applied into kinds of software projects. Problem of variables being hidden and covered for their scope has not been taken into accout in traditional dataflow iteration analysis, leading to inaccurate data flow information. An improved dataflow analysis method based on variables scope and traditional dataflow iteration analysis method was proposed to solve the problem of varibles being hidden and covered. At last, both of these methods were applied into program slice, which proves the efficiency of the improved one by comparing.
出处
《计算机科学》
CSCD
北大核心
2012年第3期131-134,共4页
Computer Science
基金
江苏省自然科学基金(BK2008124)
国家自然科学基金(60970032)
中国矿业大学科学研究基金(OD080310)资助
关键词
数据流
迭代
作用域
程序切片
Data flow, Iteration, Socpe, Program slicing
