第3章软件需求分析与建模..ppt

例：为某仓库的管理设计一个ER模型。该仓库主要管理零件的订购和供应等事项。仓库向工程项目供应零件，并且根据需要向供应商订购零件。 确定事物:本问题中共有三类（事物）实体，分别是“零件”、“工程项目”和“供应商”。 确定事物之间的关系:一种零件可供应多个工程项目，一个工程项目需要使用多种零件，因此，零件与工程项目之间的联系“供应”，是多对多（ M ‘ N ）联系；类似地，零件与供应商之间的联系“订购”，也是多对多（ M ’ N ）联系。 定义属性:实体类型“零件”的主要属性是：零件编号，零件名称，颜色，重量。实体类型“工程项目”的属性主要是：项目编号，项目名称，开工日期。实体类型“供应商”的属性主要有：供应商编号，供应商名称，地址。联系类型“供应”的属性是，向某工程项目供应的某种零件的数量。联系类型“订购”的属性是，向某供应商订购的某种零件的数量。 3.5 行为建模与STD图 除了功能模型和数据模型以外，有时也需要建立系统的行为模型（或称为控制模型）。因为存在这样的一大类应用软件——它们是事件驱动的，而不是数据驱动的；产生控制信息，而不是报告或显示值；处理信息时非常关注时间和性能。这些应用软件在数据流建模以外还需要使用控制建模。行为建模的方法有控制流图和状态图。 1）控制流图CFD(Control Flow Diagram) 正如功能模型（或称为处理模型）主要由数据流图和相应的处理规格说明两部分表示一样，行为模型（或称为控制模型）也由两部分表示：由控制项（或事件）表示的控制流图和控制流图对应的控制规格说明。 3.5.1处理模型和控制模型之间的关系 在处理模型和控制模型之间的关系的图中（见图3-28），这两个模型之间通过两种方式连接：数据条件和处理激活。作用于处理模型的数据输入产生控制输出时，系统就会设置响应的数据条件。处理激活则是通过包含在控制规范说明中的处理激活信息实现的。 在控制流图中主要表示出“流入”和“流出”的各个加工的控制流向，以及响应的控制规范说明。 控制符号以虚线表示，虚箭头上标明控制项(或事件)名。平行虚线表示控制项存储，竖线模表示控制(规格)说明，数据流用细实线及箭头表示。 管理 复印 产生用户 显示 故障 诊断 再装纸 读输入 命令 纸张状态 （卡/空） 命令 起/停 复印 装纸 装满 诊断完 正常 卡纸 信息2 信息1 响铃 复印机控制软件的控制流图 3.5.2 控制流图 3.5.3 状态转换图 状态转换图通常用来描述系统的状态和引发状态发生改变的事件，来表示系统的动态行为特征,因此，状态图提供了行为建模机制。 状态图中主要有状态、变迁和事件三种符号。 状态是可观察的系统行为模式，一个状态代表系统的一种行为模式，状态规定了系统对事件的响应方式。在状态图中定义的状态主要有：初态(即初始状态)、终态(即最终状态)和中间状态。在一张状态图中只能有一个初态，而终态则可以有0至多个。用圆角矩形表示。 事件是在某个特定时刻发生的事情，是引发系统转换状态的控制信息，用箭头上的标记表示。标注的上边部分指出引起状态转换的事件，下边部分指出该事件将引起的动作。 变迁表示状态的转换，用箭头表示。 状态图既可以表示系统循环运行的过程，也可以表示系统单程生命期。当描绘循环过程时，通常不关心循环是怎样启动的。当描绘单程生命期时，需要标明初始状态和最终状态。 复印机控制软件的简化状态转换图 状态图还可以用事件后的方括号表示先决条件，只有当这个条件为真时，才会发生状态变化；而用状态自身的弧线箭头表示先决条件不为真时，状态不会变化。 例：图书管理系统如何判断一本书是否可借的条件是：图书馆库存的该图书的可借册数（n）大于预约该图书的借者数目（m）。用状态图来描述系统的借与不借的行为。 可借 不可借 还书[nm] 借书[m=n+1] 借书[nm+1] 还书[n≤m+1] 3.6需求规格说明与验证 需求规格说明书(SRS，Software Requirement Specification)是需求分析阶段要完成的文档。1)SRS的作用： (1)开发者与用户间事实上的技术合同书 (2)开发者下一步设计和编码的基础 (3)测试验收目标系统的依据 3.6.1 需求规格说明书的主要内容 2) SRS主要内容 引言 任务概述(项目概述) 需求规定 运行环境规定 需求规格说明: (参考样例) 1.引言 1.1编写目的 1.2项目背景 1.3定义 1.4参考资料 2.任务概述 2.1目标 2.2运行环境 2.3条件与限制 3.数据描述 3.1数据字典(或数据库描述) 3.2数据采集