在不执行程序的情况下验证——检查，静态分析，软件指标

白盒测试和黑盒测试一般是在写完代码之后的测试工程中实施的操作。没有完成一定程度的代码，是无法进行测试的。

如果在测试中发现错误之后，就需要返回到问题发生的阶段进行修正。如果是在测试阶段发生的问题，就必须修改设计文档。发现问题的时间越早，就可以避免返工，将影响范围降低到最小。

为此，就需要在开始测试之前得阶段进行验证。通过第三方对文档和源代码进行目测确认的操作称为检查。如果是对文档进行确认称为审核，对源代码进行确认称为代码检查过代码审查。

检查是由人工实施的操作，而使用计算机诊断源代码称为静态分析。这类工具叫静态分析工具。

这是一种无须执行源代码，就可以发现源代码中包含的各种问题的方法，可以自动进行处理。

量化显式源代码的规模，复杂度，可维护性的软件指标是静态分析中常用的指标。