第3章需求分析.ppt

实体联系图 是一种概念性数据模型。 对象：可由一组属性来定义的实体。 属性：对象或联系所具有的性质。 联系：对象之间相互连接的方式。 基本要点： 用矩形框表示实体型 用椭圆框表示实体的属性 用菱形框表示实体间的联系 1：1 一对一 1：m 一对多 m：n 多对多 实例 M E-R图： 商店 商品 职工 聘用 经营 销售 职工号 姓名 性别 价格 产地 商品名 商品号 商店号 商店名 地址 经理 月销量 1 n m n m m 来店时间 对应的关系模式如下 商店（商店号, 商店名, 地址, 经理） 职工（职工号, 姓名,性别,商店号,来店时间） 商品（商品号, 商品名, 产地, 价格) 销售（职工号,商品号, 销售数量） 经营（商品号,商店号，月销量） 数据规范化 范式（normal forms, NF）：定义消除数据冗余的程度。 1 NF冗余度最大，5 NF冗余度最小 随着NF的提高： 1）存储同样的数据需要更多的表； 2）数据存储结构与现实问题域的结构间越不匹配。 3）需要访问的表增多使性能下降。 1NF: 每个属性值必须为原子值 2NF: 在1NF基础上，每个非关键字属性由整个关键字决定（而不是由关键字的一部分决定） 3NF: 在2NF基础上，每个非关键字属性都仅由关键字决定，且非关键字属性不能仅仅是对另一个非关键字属性的进一步描述。（消除非关键字属性之间的函数依赖） 大多数场合要求选用3NF 。 内容线索 需求分析的任务 与用户沟通获取需求的方法 分析建模与规格说明 数据流图 实体-联系图 状态转换图 其他图形工具 验证软件需求 状态转换图… 通过描绘系统的状态及引起系统状态转换的事件，来表示系统的行为 状态 任何可以被观察到的系统行为模式，一个状态代表系统的一种行为模式 状态规定了系统对事件的响应方式 初态(即初始状态)、终态(即最终状态)和中间状态 事件 在某个特定时刻发生的事情，它是对引起系统做动作或(和)从一个状态转换到另一个状态的外界事件的抽象 即：引起系统做动作或（和）转换状态的控制信息。 行为 指对象达到某种状态时所做的一系列处理操作 …状态转换图… 符号 活动表 事件名(参数表)/动作表达式 事件： entry，exit和do 事件表达式 事件说明［守卫条件］／动作表达式 事件说明：事件名(参数表) 初态 终态 中间状态 电梯的状态转换图 向上移动 do/ 到第f层 空闲 do/ 增加Timer Timer=0 向下移动 do/ 到第f层 在第一层 上楼（ f ） 下楼（ f ） [Timer=超时值]/下楼（ 第一层 ） 到达 上楼 （ f ） 到达 取消 预定 入住 预订 空闲 占用 维修 维修 完成 退房 换房 入住 换房 创建 客房的状态转换图 白方 黑方 将死 僵持 僵持 将死 黑方胜 平局 白方胜 黑方走 开始 白方走 象棋比赛状态转换图 内容线索 需求分析的任务 与用户沟通获取需求的方法 分析建模与规格说明 数据流图 实体-联系图 状态转换图 其他图形工具 验证软件需求 层次方框图 用树型结构描绘数据的层次结构（信息分类）。 …层次方框图 层次结构图（层次图） 文件管理 录 入 案卷管理 借阅管理 打印报表 备份 ┅ 排 序 修 改 删 除 插 入 档案管理系统 ┅ ┅ 层次方框图与层次结构图的区别 层次方框图: 描述系统数据的层次结构。 图中的连线表示数据的组成关系。 层次结构图:(层次图、功能模块图) 描述系统的软件结构。 图中的连线表示模块的调用关系。 Warnier图 可以表明信息的逻辑组织。 ⊕ 操作系统（P1） 编译程序（P2） 软件产品 应用软件 系统软件 软件工具 测试程序（P4） 编辑程序（P3） 表示同一类信息 异或: 表明在一定条件下才出现，而且上、下方不能同时出现， 代表每种软件的数量 IPO图 是一种描绘输入数据、对数据的处理和输出数据之间关系的图形工具。 旧的主文件 ? 事务文件 1校验主记录 2校验事务记录 3更新主记录 有效的主记录 有效的事务记录 更新后的主文件 输出 输入 处理 IPO图描绘的不是数据结构,而是算法与输入输出数据之间的关系, 以及算法处理的过程。 改进的IPO图（表）： 增加了一些附加信息。 IPO表 被调用： 局部变量： 输入： 处理： 系统： 作者： 模块： 日期： 编号： 调用： 输出： 注释： 内容线索 需求分析的任务 与用户沟通获取需求的方法 分析建模与规格说明 数据流图 实体-联系图 状态转换图 其他图形工具 验证软件需求 验证软件需求 需求验证的四个方面 一致性：需求不互