首页 | 本学科首页   官方微博 | 高级检索  
     检索      

Ada软件数据流分析方法及其实现
引用本文:唐发根,钱红兵.Ada软件数据流分析方法及其实现[J].北京航空航天大学学报,1997,23(1):25-29.
作者姓名:唐发根  钱红兵
作者单位:北京航空航天大学计算机科学与工程系
摘    要:简要介绍了有关数据流分析的基本概念之后,较为着重地讨论了一种基于静态分析的Ada软件数据流分析方法,同时也讨论了分析过程中一些实现原理。实践结果表明,文中讨论的数据结构,实现机制与处理方法是行之有效的。

关 键 词:软件质量  软件工程  数据流分析

METHOD AND IMPLEMENTATION OF DATA FLOW ANALYSIS FOR ADA SOFTWARE
Tang Fagen,Qian Hongbin.METHOD AND IMPLEMENTATION OF DATA FLOW ANALYSIS FOR ADA SOFTWARE[J].Journal of Beijing University of Aeronautics and Astronautics,1997,23(1):25-29.
Authors:Tang Fagen  Qian Hongbin
Abstract: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.
Keywords:softwares  software quality  software engineering  data management  Ada language  dataflow analysis  logical path
本文献已被 CNKI 维普 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号