静态分析器在软件开发环境中的应用

Spplication of static analyser in software developing environment

静态分析器是一种初步具备有关数据对象的语言知识，融编辑、语法分析和静态语义检查为一体的软件工具．本文以Ａｄａ语言中的子程序规格说明为基础，阐明了静态分析器在软件开发环境中的作用和意义，介绍了分析器数据结构的构成以及语法树的构造方法，并用两个实例对静态分析的过程作了说明．

A Static Analyser is a software tool that possesses preliminary language knowledge of data object and mixes edit with grammar analysis and static semantic check.Based on the formal definition in the Ada programming language,the function and meaning of the Analyser in software developing environment and its form of data structure and the method of syntax tree-building are described. Finally,a static analyzing process is elucidated on the basis of two examples.