静态测试机 静态测试是通过分析代码来发现错误，所依据的只能是数据和代码的自然属性，对业务属性则一无所知。静态测试并不需要执行软件，通过审查软件的设计、体系结构和代码，从而找出软件缺陷的过程，有时也称为结构化分析。

这就是这类方法的极限，即静态测试方法做到极致，也只能发现一小部分错误。另外，静态分析只能基于现有代码，不能发现代码缺失造成的错误。

静态测试常用的方法有：代码走查、数据流分析、控制流分析和信息流分析。

<一>代码走查

代码走查(code walkthrough)是开发人员与架构师集中讨论代码的过程，检查代码的逻辑和语法是否正确。

代码走查的作用主要包括以下几个方面：

 1)检查是否符合编辑规范;

 2)检查代码逻辑是否存在问题;

 3)对源代码进行重构;

 4)分享开发经验。

代码走查过程中需要注意的是，不应该匆匆忙忙地完成一次代码走查，需要充分地、认真地对待，同时在代码走查过程中可以学习其他工程师的经验。在走查过程中不能用自己的编程思维看待代码，代码走查的目的是确定代码是否正确。

<二>控制流分析

控制流分析方法主要是将程序流程图转换为控制流程图，通过控制流程图来分析程序中可能存在的问题，通过分析控制流程图主要发现以下几类问题：

(1)转向并不存在的标号。

(2)没有用的语句标号。

(3)从程序入口进入后无法达到的语句。

(4)不能达到停机语句的语句。

在控制流程图中只有以下两种图形符号：

(1)结点：以标为编号的圆圈表示，它代表了程序流程图中矩形框所表示的处理、菱形所表示的两个或多个出口判断以及两至多条流线相交的汇合点。

(2)控制流线或弧：以箭头表示，它与程序流程图中的流线是一致的，表明了控制的顺序。

为方便记录，一般会在控制流线上标有名字，如a、b、c 等。

控制流分析步骤如下：

(1)确定所有程序元素。

(2)根据程序元素之间的相互关系得到控制流程图。

(3)将控制流程图转换成控制流矩阵。

(4)通过数据结构的形式把控制流矩阵表示出来。

(5)借助算法对控制流进行分析，找出存在的问题。