| 静态分析工具直接对代码进行分析，不执行被测程序，也不需要对代码编译链接，仅对代码进行语法扫描，进行控制流分析、数据流分析、接口分析和表达式分析等，找出不符合编码规范的地方，根据某种质量模型评价代码的质量，生成系统的调用关系图等，并输出测试结果。目前，具有静态分析功能的软件测试工具主要有Rational公司的Purify、Telelogic公司的Logiscope、Macabe公司的Macabe、PR公司的PRQA等。通常，静态分析工具有以下功能：
|
|
|
| （1）完成编译时的语法检查和连接时的一致性检查。对模块中的所有变量检查其是否已定义，是否引用了未说明的变量，是否有未使用的变量等。
|
|
|
| （2）检查模块接口、类型的一致性。主要是检查模块调用时的形式参数与实际参数在个数、类型上是否一致。参数定义的类型是否匹配，数组的维数、下标变量的范围是否正确。同一变量在不同的文件中定义是否一致等。
|
|
|
| （3）检查逻辑上可能有错误的结构，特别是对嵌套结构、转移语句的检查。
|
|
|
| （4）变量、函数交叉引用关系分析。找出变量可能影响的语句和其他变量等。
|
|
|
| （5）检查被测程序违反编程标准的情况。如：程序的注释是否太少，模块的复杂度是否太高等。
|
|
|
| （6）对程序的静态特性的统计功能。如：统计程序的紧凑度；各类源语句的个数和标识符在各语句中的使用情况；多余、不可能达到的程序段等。
|
|
|
京公网安备 11010502032051号 | 营业执照