摘要
:静态分析器是一种初步具备有关数据对象的语言知识 ,融编辑、语法分析和静态语义检查为一体的软件工具。文本以Ada语言中的子程序规格说明为基础 ,阐明了静态分析器在软件开发环境中的作用和意义 ,介绍了分析器数据结构的构成及语法树的构造方法 ,并用两个实例对静态分析的过程作了说明。
A static analyzer 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 analyzer 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
出处
《济南大学学报（自然科学版）》
CAS
2001年第3期204-206,共3页
Journal of University of Jinan(Science and Technology)
