3.6 需求验证

需求验证是对其他需求工程活动的质量保证，一般通过偏数学的形式化工具或工程化的测试过程来确保系统满足干系人的要求。验证方法通常包括评审（review）、原型化（prototyping）、模型验证（model validation）和确认测试（acceptance tests）。

需求评审的目的是与用户确认需求，保证需求的一致性，并去除需求缺陷。评审点需保证完整性、一致性、可理解性和可实现性等。参与人员需要包括需求分析人员、软件设计人员、领域专家、用户以及软件测试人员等。

需求评审就是技术评审，根据评审的方法划分为以下两类：非正式评审，由开发人员描述产品并征求意见，不需要记录；正式评审，应该包含一组由不同背景的审查人员组成的小组。相应流程如图3.8所示。首先是评审会议的筹备工作，输入是被审查的需求规格说明文档，召集会议的各方参与人员；然后是评审会议，如果发现问题，要及时修改并进行重审，直至得到确认后的基准需求规格说明文档。

如图3.9所示，我们对几种验证方法在错误识别、时间开销和工作成本三方面进行了比较，可以看到：原型验证和基于测试的验证对错误的识别率较高，同时时间开销和工作成本较低，因此这两种方法是首选。