摘要
数据流分析技术能用于软件测试中的错误和异常诊断,而GAG系统是构造数据流分析技术的有用工具。本文介绍使用GAG系统实现静态分析的一个设计方案。
Data Flow Analysis can be used to diagnose errors and abnormalities in software testing. Since GAG system is a powerful tool to construct Data Flow Analysis, it is applied to static analysis in the program testing.
出处
《计算机工程》
CAS
CSCD
北大核心
1989年第1期52-58,共7页
Computer Engineering