3.5.1　需求验证

（1）验证需求的一致性。验证需求分析的一致性分两种情况。

①需求分析的结果采用自然语言的形式进行描述。目前，面对这种情况，还没有更好的“测试”方法，只能采用人工技术审查的方式进行验证。由于自然语言无法精确描述，容易引起歧义的特点，往往使得软件规格说明书的一致性难以验证。尤其在目标系统规模庞大、结构复杂、文档篇幅很长的情况下，人工审查的效果是无法保证的。

②需求分析的结果采用形式化的方法进行描述。当采用形式化的陈述语言描述软件规格说明时，可以借助相应的软件工具验证需求的一致性。这种方法相较于人工审查能更好地保证软件需求的一致性。(https://www.daowen.com)

（2）验证需求的现实性。为了验证需求的现实性，分析员应该参照以往开发类似系统的经验，分析用现有的软硬件技术实现目标系统的可能性。必要时可以采用仿真或模拟技术辅助分析软件需求规格说明书的现实性。

（3）验证需求的完整性和有效性。因为只有用户才能真正知道软件需求规格说明书是否完整、准确地描述了他们的需求，所以，验证需求的完整性和有效性，必须有用户的密切配合。然而，现实情况是，大多数情况下，仅凭借描述文档，用户自己也不能完全清楚自己的需求，特别是在开发全新的系统或没有类似使用经验时，情况更是如此。根据大多数人的认知特性，只有当他们有一个可以使用的相应的旧系统或相似的软件系统时，才有利于他们完整地做出确切的比较。

理想的做法是先根据已知的需求情况开发出一个原型系统，请用户试用，使用户借助原型系统提出更符合实际的要求。需要注意的是，原型系统不同于软件最终的产品系统，它仅关注目标系统的主要功能，也不关心性能，否则，将使开发成本大幅上升。