|
专栏目录首页：学习笔记
文章目录
一：验证需求正确性的四个方面二：验证软件需求的方法三：用于需求分析的软件工具（1）要求（了解）（2）PSL/PSA系统
一：验证需求正确性的四个方面
一致性：所有需求必须是一致的，任何一条需求不能和其他需求互相矛盾完整性：需求必须是完整的，规格说明书应该包括用户需要的每一个功能或性能现实性：指定的需求应该能用现有的硬件和软件技术可以实现有效性：必须证明需求是正确有效的，确实能解决用户面对的问题
二：验证软件需求的方法
验证一致性：自然语言描述需求、形式化语言描述需求、使用软件工具验证验证现实性：参照开发经验验证完整性和有效性：建立软件原型
三：用于需求分析的软件工具
（1）要求（了解）
必须有形式化的语法(或表)，因此可以用计算机自动处理使用这种语法说明的内容使用这个软件工具能够导出详细的文档必须提供分析(测试)规格说明书的不一致性和冗余性的手段，并且应该能够产生一组报告指明对完整性分析的结果使用这个软件工具之后，应该能够改进通信状况
（2）PSL/PSA系统
PSL（问题陈述语言）：是用来描述系统的形式语言PSA（问题陈述分析程序）：是处理PSL描述的分析程序
用PSL描述的系统属性放在一个数据库中。一旦建立起数据库之后即可增加信息、删除信息或修改信息，并且保持信息的一致性。PSA对数据库进行处理以产生各种报告，测试不一致性或遗漏，并且生成文档资料。
|