文章目录

  • 一:验证需求正确性的四个方面
  • 二:验证软件需求的方法
  • 三:用于需求分析的软件工具
    • (1)要求(了解)
    • (2)PSL/PSA系统

一:验证需求正确性的四个方面

  • 一致性:所有需求必须是一致的,任何一条需求不能和其他需求互相矛盾
  • 完整性:需求必须是完整的,规格说明书应该包括用户需要的每一个功能或性能
  • 现实性:指定的需求应该能用现有的硬件和软件技术可以实现
  • 有效性:必须证明需求是正确有效的,确实能解决用户面对的问题

二:验证软件需求的方法

  • 验证一致性:自然语言描述需求、形式化语言描述需求、使用软件工具验证
  • 验证现实性:参照开发经验
  • 验证完整性和有效性:建立软件原型

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

(1)要求(了解)

  • 必须有形式化的语法(或表),因此可以用计算机自动处理使用这种语法说明的内容
  • 使用这个软件工具能够导出详细的文档
  • 必须提供分析(测试)规格说明书的不一致性和冗余性的手段,并且应该能够产生一组报告指明对完整性分析的结果
  • 使用这个软件工具之后,应该能够改进通信状况

(2)PSL/PSA系统

  • PSL(问题陈述语言):是用来描述系统的形式语言
  • PSA(问题陈述分析程序):是处理PSL描述的分析程序

用PSL描述的系统属性放在一个数据库中。一旦建立起数据库之后即可增加信息、删除信息或修改信息,并且保持信息的一致性。PSA对数据库进行处理以产生各种报告,测试不一致性或遗漏,并且生成文档资料。

(软件工程复习核心重点)第三章需求分析-第五节:验证软件需求相关推荐

  1. (软件工程复习核心重点)第二章可行性研究-第四节:数据字典

    文章目录 一:相关概念 (1)定义 (2)作用 (3)意义(了解) 二:内容 三:定义数据的方法 (1)数据元素组成数据的方式 (2)符号表示 四:数据字典示例 五:用途 一:相关概念 (1)定义 数 ...

  2. (软件工程复习核心重点)第九章面向对象分析-第二节:面向对象分析之建立对象模型

    文章目录 一: 基本概念 (1)对象模型 (2)先建立对象模型的原因 (3)信息来源 (4)典型的建模步骤 二:确定类与对象 (1)找出候选的类与对象 A:客观事物分类 B:非正式分析 C:提取隐含的 ...

  3. (软件工程复习核心重点)第一章软件工程概论习题

    这一章题目主要以简答和名词解释为主 文章目录 一:选择题 二:填空题 三:名词解释 (1)必考 (2)了解 四:简答题 (1)必考 1.关于软件危机 2.关于软件工程 3. 关于软件生命周期 4.关于 ...

  4. (软件工程复习核心重点)第一章软件工程概论-第三节:软件生命周期

    文章目录 一:软件定义 (1)问题定义 (2)可行性研究 (3)需求分析 二:软件开发 (1)总体设计 (2)详细设计 (3)编码和单元测试 (4)综合测试 三:软件维护 一:软件定义 (1)问题定义 ...

  5. (软件工程复习核心重点)第一章软件工程概论-第一节:软件和软件危机

    文章目录 一:软件的概念.特点与发展 (1)软件发展的三个阶段 (2)软件的概念 (3)软件的特点 二:软件危机 (1)软件危机的概念 (2)软件危机的表现 (3)软件危机产生的原因 A:主观原因 B ...

  6. (软件工程复习核心重点)第一章软件工程概论-第四节:软件过程及相关模型

    文章目录 一:软件过程概念 (1)定义 (2)构成 二:主要模型 (1)瀑布模型 A:定义 B:特点 C:优缺点 D::适用范围 E:实际的瀑布模型 (2)快速原型模型 A:定义 B:原理 C:优缺点 ...

  7. (软件工程复习核心重点)第一章软件工程概论-第二节:软件工程

    文章目录 一:软件工程 (1)软件工程的定义 (2)软件工程的本质特征 (3)软件工程基本原理 二:软件工程方法学 (1)概念 (2)分类 一:软件工程 (1)软件工程的定义 软件工程:采用工程的概念 ...

  8. (软件工程复习核心重点)第二章可行性研究习题

    文章目录 一:选择题 二:填空题 三:名词解释 (1)必考 四:简答题 (1)必考 1. 关于可行性研究 2. 关于数据流图 3. 关于数据字典 (2)了解 五:应用题/画图题 一:选择题 二:填空题 ...

  9. (软件工程复习核心重点)第二章可行性研究-第三节:数据流图

    文章目录 一:数据流图的定义(DFD) 二:数据流图的特点 三:数据流图的符号 (1)符号 (2)注意(了解) 四:数据流图示例 (1)示例1 A:首先从题目中提取四种成分 B:画数据流图 (2)示例 ...

最新文章

  1. java定时关机源码_java实现电脑定时关机的方法
  2. Gson.toJson()时内存溢出StackOverflowError
  3. python包pip安装_python包管理之Pip安装及使用
  4. Swift初级入门【步步为营】
  5. 数据结构之深度优先搜索(用栈实现)问题
  6. adnroid string拼接_Android开发中string.xml文件中字符串的拼接
  7. SpringBoot与日志配置
  8. java test 用法,pytest基本用法简介
  9. [bzoj1062] [NOI2008]糖果雨
  10. 当不知轴承型号时如何寻找轴承故障频率_电机轴承的故障诊断与失效分析
  11. 数学分析 极限(第2,3章)
  12. 在elementUI中sort-orders排序,默认为三种,怎么改成两种
  13. RC522(RFID模块)实践总结
  14. python中除以0的处理方法
  15. OSS对象存储之阿里云和七牛云
  16. Java 新人含笑7步癫 No.140
  17. Cadence软件license相关问题
  18. RASP技术进阶系列(一):与WAF的“相爱相杀”
  19. TMI8150芯片驱动开发
  20. TResNet学习笔记 --- TResNet: High Performance GPU-Dedicated Architecture

热门文章

  1. 性能优化篇(2):不能忽视的DOM元素
  2. 电力系统matlab实验报告,基于matlab语言计算电力系统暂态稳定仿真程序实验报告.docx...
  3. “嘿,我们又见面了!”
  4. 中国农业大学营养与健康研究院诚聘博士后
  5. SCENIC | 从单细胞数据推断基因调控网络和细胞类型
  6. 真正的出路只有一个(哈佛大学的幸福课)
  7. PS(留学动机)的妙用——扭转你的劣势
  8. 提高篇 第二部分 字符串算法 第4章 AC自动机
  9. 1.4编程基础之逻辑表达式与条件分支 03 奇偶数判断
  10. requirejs页面刷新失效js报错问题解决方案