第 3.7 节- 验证和测试

验证证明系统元素或整个系统符合施加在其上的要求。测试是一种收集此类证明所需数据的方法。其他方法包括分析和检查。由于测试是大多数验证过程不可或缺的一部分，因此它们通常被归为一类。验证和测试通常应用于设计的多个层面，从组件层面开始，逐步扩展至整个系统。这样做是为了尽可能在较低层级发现问题，以便于查明原因。如果低层级问题得以解决，那么在下一个集成层级发生的任何问题都可能源自于多个组件本身的集成。