摘要： 数据流分析技术能用于软件测试中的错误和异常诊断,而GAG系统是构造数据流分析技术的有用工具。本文介绍使用GAG系统实现静态分析的一个设计方案。

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