软件需求正确性验证.pptxVIP

软件需求正确性验证 软件工程 软件工程 软件需求正确性验证 1.1软件需求正确性要求和验证方法 为了提高软件质量，确保软件开发成功，降低软件开发成本，一旦对目标系统提出一组要求之后，必须严格验证这些需求的正确性。一般说来，应该从下述四个方面进行验证： 一致性所有需求必须是一致的，任何一条需求不能和其他需求互相矛盾。 完整性需求必须是完整的，规格说明书应该包括用户需要的每一个功能或性能。 现实性指定的需求应该是用现有的硬件技术和软件技术基本上可以实现的。对硬件技术的进步可以做些预测， 软件工程 对软件技术的进步则很难做出预测，只能从现有技术水平出发判断需求的现实性。 有效性必须证明需求是正确有效的，确实能解决用户面对的问题。 那么，怎样验证软件需求的正确性呢?验证的角度不同，验证的方法也不同： 1．验证需求的一致性 当需求分析的结果是用自然语言书写的时候，除了靠人工技术审查验证软件系统规格说明书的正确性之外，目前还没有其他更好的“测试”方法。但是，这种非形式化的规格说明书是难于验证的，特别在目标系统规模庞大、规格 软件工程 说明书篇幅很长的时候，人工审查的效果是没有保证的，冗余、遗漏和不一致等问题可能没被发现而继续保留下来，以致软件开发工作不能在正确的基础上顺利进行。 为了克服上述困难，人们提出了形式化的描述软件需求的方法。当软件需求规格说明书是用形式化的需求陈述语言书写