程序的静态测试中源程序静态分析

　　① 生成各种引用表

　　直接从表中查出说明/使用错误等。如，循环层次表、变量交叉引用表、标号交叉引用表等。

　　为用户提供辅助信息。如，子程序(宏、函数)引用表、等价(变量、标号)表、常数表等。

　　用来做错误预测和程序复杂度计算。如，操作符和操作数的统计表等。

　　② 静态错误分析

　　静态错误分析主要用于确定在源程序中是否有某类错误或“危险”结构。

　　类型和单位分析：为了强化对源程序中数据类型的检查，发现在数据类型上的错误和单位上的不一致性，在程序设计语言中扩充了一些结构。如单位分析要求使用一种预处理器，它能够通过使用一般的组合/消去规则，确定表达式的单位。

[1] [2] 下一页

【责编:Luzi】