软件工程03-需求分析幻灯片.ppt

数据库分析的过程 最后，要对模式和物理特性进行完全的评审 在数据库分析过程中所考虑的因素间存在着复杂的相互联系。改变其中的任何一个因素都会（潜在地）影响其它的因素，所以必须在各个因素之间进行折衷 这种折衷包括专用性和通用性的折衷，信息关联程度、扩充潜力及操作特性等方面的折衷 数据库分析的过程 考虑信息关联程度和扩充潜力（包括信息规模和信息内容两方面）主要基于需求分析和设计阶段分派给数据库的专用性程度。 专用的数据库要为系统特定的信息需求服务，因此信息结构要设计得能适应要求的关联性和预计的扩充。 通用的数据库可以适应更为广泛的各种信息需求，但是为了获得通用性要付出代价。 数据库分析的过程 操作特性根据折衷的结果而定 数据库的结构、规模和逻辑设计都会对它的物理组织、硬件、存取方式以及性能产生重要的影响 个人成果，妥善保存，请勿传播 课程内容提纲 第3章：“需求分析” 需求分析的任务 获得需求的方法 分析建模与规格说明 结构化分析简介 数据模型:实体-关系图 功能模型:数据流图 行为模型:状态转换图 其他图形工具 个人成果，妥善保存，请勿传播 行为模型－状态转换图 状态 系统对事件的响应 做一个或一系列动作 仅仅改变系统本身的状态 即改变状态又做动作 状态 初态：一个 终态：0支多个 中间状态 状态图可以表示系统循环运行过程，也可以表示系统单程生命期 个人成果，妥善保存，请勿传播 行为模型－状态转换图 事件 事件是在某个特定时刻发生的事情，它是对引起系统做动作或从一个状态转换的另一个状态的外界事件的抽象 符号 个人成果，妥善保存，请勿传播 行为模型－状态转换图 终态 中间状态 状态名称 状态变量名字和值 活动表 事件名(enter,exit,do)(参数表)/动作表达式 箭头上标出触发转换的事件表达式，未标明表示自动触发转换。 事件表达式：事件说明[守卫条件]/动作 表达式 事件说明：事件名（参数表） 守卫条件：布尔表达式 动作表达式：一个过程表达式 状态转换 初态 个人成果，妥善保存，请勿传播 挂断电话 闲置 拿起听筒 拨号音 timer=0 do/想拨号音且增加timer 超时 超时 do/响蜂鸣音 存储的信息 do/播放信息 无效号码 拨号 数字 接通中 do/试接通 有效号码 已接通 振铃 do/振铃 受话人回话 通话 断线 受话人挂断电话 信息播完 占线 忙音 do/响忙音 挂断电话 数字 图3.4 电话系统的状态图 个人成果，妥善保存，请勿传播 课程内容提纲 第3章：“需求分析” 需求分析的任务 获得需求的方法 分析建模与规格说明 结构化分析简介 数据模型:实体-关系图 功能模型:数据流图 行为模型:状态转换图 其他图形工具 个人成果，妥善保存，请勿传播 其他图形工具 层次方框图 层次方框图是用树形结构的一系列多层次的矩形框描绘数据的层次结构 树形结构的顶层是一个单独的矩形框，它代表完整的数据结构 下面各层的矩形框代表这个数据的子集，最低层的各个框代表组成这个数据的实际数据元素(不可再分割) 个人成果，妥善保存，请勿传播 产品 软件 硬件 服务 系统软件 应用软件 处理机 存储器 外部设备 软件服务 硬件服务 培训 操作系统 编译程序 软件工具 个人成果，妥善保存，请勿传播 其他图形工具 Warnier图 Warnier图是由法国科学家J.D.Warnier提出的表示信息层次结构的另外一种图形工具 在Warnier图中花括号用来区分数据结构的层次 在一个花括号内的所有名字都属于同一类信息 符号表示在其上、下方的名字中的一个名字 名字右边圆括号中的符号表示这个名字在信息类中重复出现的次数 个人成果，妥善保存，请勿传播 软件产品 系统软件 ? 应用软件 操作系统（P1） 编译程序（P2） 软件工具 编译程序（P3） 图形生成程序（P4） 个人成果，妥善保存，请勿传播 其他图形工具 IPO图 IPO图是输入/ 处理/输出图的简称， 它是由美国IBM公司 发展完善起来的一种 图形工具，可以方便 地表示输入数据、数 据处理和输出数据三 者之间的关系。 系统： 模块： 编号： 作者： 日期： IPO图 被调用： 输 入： 调 用： 输 出： 处 理： 局部数据元素： 注 释： 个人成果，妥善保存，请勿传播 验证软件需求 验证软件需求的途径与方法 一致性：在所有需求中，任何一条需求不能和其他需求互相矛盾。（形式化描述） 完整性：软件规格说明书必须包括用户需求的每一个功能或性能。（原型） 现实性：指定的需求应是用现有的硬件技术和软件技术可以实现的。（仿真和模拟） 有效性：软件需求确实能解决用户所面对的问题。（原型）