非法计算故障的检测技术研究.pdfVIP

静态分析工具由四部分组成：语言程序的预处理器、数据库、错误分析器和报 告生成器”卵。预处理器主要是处理程序中的各种预处理语句和注释；数据库是用来 存放各种生成的变量表格；错误分析器来分析待处理语句是否满足探测函数的特定 约束，在用户指导下利用命令语言或查询语言与系统通信进行查错；报告生成器则 将分析后的结果显示出来。静态分析工具把源程序划分为若干程序模块单元(如主 程序和子程序)，同时生成包含变量使用、变量类型、标号与控制流等信息的许多 表格。这些表格分为全局表和局部表两种，全局表反映整个程序的全局变量信息， 如模块名、函数以及过程调用关系等；局部表则对应到各个模块，记录各模块的各 种结构信息，如标号引用表、分支索引表等。这些信息表格都被放入到数据库中， 以方便被测代码的信息查询和信息更新口ol。 静态分析模块根据词法分析和语法分析的结果，进行更深层次的挖掘，以便 在执行动态测试以前尽可能多地发现程序中的缺陷，降低测试成本和减少测试工作 量。静态分析模块可以根据实际应用的需要包含不同的功能，在这里主要是通过定 义的非法计算规则寻找出现非法计算故障的程序语句，为下一阶段的故障树分析打 好基础，提供输入。 国内外已出现很多静态分析工具。例如：使用符号执行及约束求解进行分析的 则的程序静态分析检测工具Me