高效的测试确保可跟踪性和验证要求(上)

MISRA: 车载软件开发指南，3.6， "测试" IEEE 1012: 软件验证和确认标准 IEEE 829: 软件测试文档编制标准 IEC 61508: 电气/电子/可编程安全性相关系统的功能安全性 FDA: 软件验证的通用原则， 5.2.5， "由软件开发工程师进行的测试" EN 50128: 铁路应用， "铁路控制和保护系统的软件" RTCA DO-178B: 航弹系统和设备认证要求中的软件考虑， 6.x， "软件验证过程" Def Stan 00-55:国防设备(第2部分)中安全性相关软件的要求，第五节，"测试和集成"

这些标准的共同之处是运行以要求为基础的测试。 在这些标准之中最显著的是航弹系统标准，DO-178B。这个标准主要定义了两个基于测试的要求活动作为功能测试或黑盒测试(下图)，以及结构覆盖或白盒测试。

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

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

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