计算机科学 ›› 2012, Vol. 39 ›› Issue (3): 131-134.

• 软件工程 • 上一篇    下一篇

基于变量作用域的数据流分析

姜淑娟,赵雪峰   

  1. (中国矿业大学计算机科学与技术学院 徐州221116)
  • 出版日期:2018-11-16 发布日期:2018-11-16

Data Flow Analysis Based on the Variable Scope

JIANG Shu-Juan,ZHAO Xue-feng   

  • Online:2018-11-16 Published:2018-11-16

摘要: 数据流分析作为程序分析的一种重要手段,已广泛应用于各种软件工程任务中。传统的数据流迭代分析法没有考虑变量因作用域问题而被隐藏和覆盖的现象,导致数据流信息不准确。在传统数据流迭代分析法的基础上提出一种基于变量作用域的数据流分析方法,它解决了变量被隐藏和覆盖的问题。最后将改进的方法和传统分析方法分别应用于程序切片中,实验证实了改进的方法更加准确。

关键词: 数据流,迭代,作用域,程序切片

Abstract: 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.

Key words: Data flow, Iteration, Socpe, Program slicing

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!