静态分析器静态分析过程的研究及实现  

Development of Static Analyzing Process for A Static Analyzer

作　　者：张少白[1] 冯志全[1] 成谢锋[1] 

机构地区：[1]济南大学信息科学与工程学院,山东济南250022

出　　处：《济南大学学报（自然科学版）》2001年第3期204-206,共3页Journal of University of Jinan(Science and Technology)

摘　　要：:静态分析器是一种初步具备有关数据对象的语言知识 ,融编辑、语法分析和静态语义检查为一体的软件工具。文本以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

关 键 词：语法树 编辑器 静态分析器 软件开发 软件工具 ADA语言 数据结构 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]