软件工程导论第三章复习总结附思维导图

软件工程导论第三章复习总结附思维导图

概述 准确回答“系统必须做什么”

必须理解并描述问题的信息域，根据这条准则应该建立数据模型
必须定义软件应该完成的功能，这条准则要求建立功能模型
必须描述作为外部事件结果的软件行为，这条准则要求建立为行为模型
必须对描述信息，功能和行为的模型进行分解，用分层的方法展示细节

一、任务

1. 确定对系统的综合要求
   1.1功能需求
   1.2性能需求
   1.3可靠性和可用性需求
   1.4出错处理需求
   1.5接口需求
   1.6约束
   1.7逆向需求
   1.8将来可能提出的需求
2. 分析系统的数据需求
   层次方框图，Warnier图
3. 导出系统的逻辑模型
   数据流图
   状态转换图
   数据字典
   主要的处理算法
   4 修正系统开发计划

二、与用户沟通获取需求的方法

1. 访谈
2. 面向数据流自顶向下求精
3. 简易的应用规格说明技术
4. 快速建立软件原型
   第四代技术：数据库查询和报表语言，程序和应用系统生成器
   可重用的软件构架
   形式化规格说明原型

三、分析建模与规格说明

1. 分析建模
   数据模型 实体-联系图
   功能模型 数据流图
   行为模型 状态图
2. 软件需求规格说明
   需求规格说明书
   形式化说明技术

四、实体-联系图

数据模型或称信息模型
1.数据对象
2.属性
3.联系
一对一：线性表
一对多：树
多对多：图
4.符号
矩形框：实体
菱形框：关系
椭圆或圆角矩形：表示实体或关系的属性

五、数据规范化

第一范式：每个属性都必须是原子值
第二范式：满足第一范式的条件，而且每个非关键自属性都由整个关键字决定，而不是又关键字的一部分决定
第三范式：符合第二范式条件，每个非关键字属性都由关键字决定，而且一个非关键字属性不仅仅是对另一个非关键字属性的进一步描述，即一个非关键字属性值不依赖于另一个非关键字属性值

六、状态装换图

行为模型
1.状态：只有1个初态，可有0至多个总态
2.事件：引起系统做动作或转换状态的控制信息
3.符号：初态实心圆，终态同心圆，内圆为实心圆，中间状态圆角矩形

七、其他圆形工具

1.层次方框图
2.Warnier图
3.IPO图

八、验证软件需求

1.从哪些方面验证需求的正确性
一致性
完整性
现实性
有效性
2.验证软件需求的方法
验证需求的一致性
验证需求的现实性
验证需求的完整性和有效性
3.用于需求分析的软件工具
PSL问题陈述语言
PSA问题陈述分析程序