一、从哪些方面验证软件需求的正确性

一致性：所有需求必须是一致的，任何一条需求不能和其他需求互相矛盾。

完整性：需求必须是完整的，规格说明书应该包括用户需要的每一个功能或性能。

现实性：指定的需求应该是用现有的硬件技术和软件技术基本上可以实现的。 

有效性：必须证明需求是正确有效的，确实能解决用户面对的问题。 

二、验证软件需求的方法

1、验证需求的一致性

■人工技术审查

■形式化的描述软件需求的方法

2. 验证需求的现实性

■仿真或性能模拟技术

3. 验证需求的完整性和有效性

■开发原型系统

三、用于需求分析的软件工具

软件工具应该满足下列要求：

1、必须有形式化的语法(或表)，因此可以用计算机自动处理使用这种语法说明的内容；

2、使用这个软件工具能够导出详细的文档；

3、必须提供分析(测试)规格说明书的不一致性和冗余性的手段，并且应该能够产生一组报告指明对完整性分析的结果；

4、使用这个软件工具之后，应该能够改进通信状况。