8、软件需求测量与可追溯性：保障系统质量的关键

软件需求测量与可追溯性：保障系统质量的关键

在软件开发过程中，确保系统满足需求是至关重要的。这涉及到对需求的有效测量以及需求与测试之间的可追溯性。下面将详细探讨这些方面的内容。

1. 应对难以测量的需求

在软件开发中，有些需求难以直接测量。针对这种情况，有两种常见的处理方法。

1.1 依赖开发过程

依赖高质量的软件开发过程可以降低系统中出现缺陷的概率。对于高度关键的系统，如要求每十亿（1,000,000,000）运行小时仅出现一次灾难性故障的系统，严格遵循设计方法可以提高软件质量。例如，若担心软件崩溃，可以设定“在系统集成测试期间发现的所有软件崩溃源都应追溯到根本原因并消除”的要求。这虽然不能保证达到特定的软件可靠性目标，但能有效消除部分崩溃源。

1.2 形式化方法

形式化方法是用于证明系统属性为真的数学技术，常见的是模型检查。它通过创建系统的抽象模型，并使用复杂程序分析该模型的特定属性。例如，证明一个系统不会同时向电机发出停止和启动信号。不过，这种方法需要特殊技能，难以应用于大型复杂软件系统，且创建模型时需要假设和简化，即使模型完美，实际实现仍可能存在错误。但形式化方法对于创建高关键性系统的方法学很重要。

2. 需求测量的陷阱与建议

在定义需求时，除了功能列表，还应考虑很多其他方面。但这些方面都需要验证，有些难以测量。因此，在创建需求时应提前处理测量问题，而不是等到系统开发后期问题出现。

3. 需求与测试的可追溯性

确保系统满足需求的一个重要方法是建立需求与测试之间的可追溯性。

3.1 可追溯性的重要性