高效的测试确保可跟踪性和验证要求(第1部分)

的是航弹系统标准，DO-178B。这个标准主要定义了两个基于测试的要求活动作为功能测试或黑盒测试(下图)，以及结构覆盖或白盒测试。

功能测试需要开发工程师或测试工程师掌握确定被测代码行为的软件要求。更确切的说，开发工程师(或测试工程师)必须根据输出和预期的结果来定义输入和条件，以便制定出测试规范。该测试规范可能会以一或多个测试用例的形式给出，以便完全遍历测试规范的要求。

结构覆盖或白盒测试有助于验证黑盒测试的完整性。结构测试也有助于确定实际建造设计的正确性；例如，如果所必的软件功能已经全部运行过，但仍然有未覆盖的代码，那么，这段多余的代码的作用就是问题所在，代码运行时间的可预测性也一样。

本文第2部分将讨论能力成熟度模型(CMMI)标准在改善软件开发过程中的作用，从中引出把测试信息映射为要求的工具。

Bill St. Clair

LDRA

bstclair@ldra-usa.com