摘要
简要介绍了有关数据流分析的基本概念之后,较为着重地讨论了一种基于静态分析的Ada软件数据流分析方法,同时也讨论了分析过程中一些实现原理.实践结果表明,文中讨论的数据结构。
Some basic concepts about dataflow analysis are presented,and implementation methods and principles in the process of Ada software dataflow analysis are discussed.Practical results prove that the data structure,implementation mechanism and processing methods discussed here are effective.
出处
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
1997年第1期25-29,共5页
Journal of Beijing University of Aeronautics and Astronautics
关键词
软件质量
软件工程
数据流分析
softwares
software quality
software engineering
data management
Ada language
dataflow analysis
logical path