摘要
从理论上阐述了软件静态分析的概念、意义及分类,以及静态分析器与编译器的不同,并详细、系统地介绍了一个静态分析器的设计与实现。描述了它的关于软件系统信息和模块信息提取功能,又从实现的角度介绍了该分析器程序的系统结构及数据结构。初步的实践证明上述静态分析器可以提高数据采集效率,能够对程序系统信息及模块信息进行有效提取。
Expatiate the concept, meaning and classes of the static analysis tool from the theory, while give the difference between the static analysis tool and complier. At the same time, the paper introduces a design and implementation about static analysis tool, with the software system information and models information. In another hand, the paper from the implementation's angle give system structure and data structure of this static analysis tool. Based on the practice, it has proved that the static analysis tool has made evidence effective when it collects data and distills the program's system information and models information.
出处
《微机发展》
2004年第12期117-119,共3页
Microcomputer Development
关键词
软件工程
静态分析
静态测试
静态分析器
software engineering
static analysis
static testing
static analysis tool
