软 件 工 程第12章 分析建模.pptVIP

软 件 工 程 第12章? 分析建模 12.1 简史 12.2 分析模型的元素 12.3 数据建模 12. 3.1 数据对象、属性和关系 12.3.2 基数和形态 12.3.3实体—关系图 第12章? 分析建模 12.4 功能建模和信息流 12.4.1 数据流图 12.4.2 针对实时系统的扩展 12.4.3 Ward和Mellor扩展 12.4.4 Hatley和Pirbhai扩展 12.5 行为建模 第12章? 分析建模 12.6 结构化分析的技巧 12.6.1 创建实体—关系图 12.6.2 创建数据流模型 12.6.3 创建控制流模型 12.6.4 控制规约 12.6.5 加工规约 第12章? 分析建模 12.7 数据字典 12.8 其他传统分析方法的概述 12.9 小结 第12章? 分析建模 分析模型的方法 12.1 简史 结构化分析用来表示数据和对数据进行变换 的处理(加工)，这些处理将最终被映射到体 系结构设计中去。 12.2 分析模型的元素? 分析模型三个主要目标： 描述客户的需要 建立创建软件设计的基础 定义在软件完成后可以被确认的一组需求 12.3 数据建模 数据建模使用实体—关系图(ERD) ERD定义了应用中: 12.3.1 数据对象、属性和关系： 数据模型的三种关联信息： 12.3.2 基数和形态 基数是关于一个对象可以与另一个对象的出现 次数相关联的出现次数的规约 12.3.2 基数和形态 形态 如果对关系的出现没有明显的需要或关系是 可选的时，关系的形态是0 如果关系必须出现一次，则形态是1 在关系连接上距数据对象矩形最近的符号指示 基数。竖短线表示1，三叉表示多。形态是用 距数据对象矩形较远的记号表示。 12.3.3 实体—关系图 ERD的主要目的: 用于表示实体（数据对象）和它们 之间的相互关系 12.4 功能建模和信息流 当信息“流”过基于计算机的系统时会被变换， 我们可以为任何基于计算机的系统产生流模 型。DFD仅仅简单地显示数据的流动。在 DFD符号系统中，矩形用于表示外部实体， 圆圈表示被应用到数据（或控制）并以某种 方式改变它的加工或变换。箭头表示一个或 多个数据项，DFD中所有箭头应被标记。双 线表示数据存储。 12.4.1 数据流图 数据流图中的主要图形元素 描述银行取款过程的数据流图 12.4.3 Ward和Mellor扩展 Ward和Mellor对基本的结构化分析符号体系进行了 扩展： 在时间连续的基础上收集或产生信息流。 传遍系统的控制信息以及相关的控制处理。 同一个变换的多个实例，这在多任务的条件下可能遇到。 系统有状态且某机制导致状态间的变迁。 比如，用双头箭头表示时间连续的流，单头箭头指示离散的数 据流，实线箭头表示数据流，虚线箭头或阴影箭头表示控制流。 行为建模是所有需求分析方法的操作性原则 状态—变迁图通过描述状态以及导致系统改变状态的事件来表示系统的行为，指明了作为特定事件的结果，要执行哪些行为。 实体—关系图ERD构造方法： 1. 将涉及到的事物演化为数据对象和外部实体 2. 考虑对象和其他对象间是否存在连接 3. 创建一个或多个对象—关系对。 4. 对每个对象—关系对，考察其基数和形态。 实体—关系图ERD构造方法： 5. 进行步骤2到4，直至定义了所有的对象—关 系对。 6. 定义每个实体的属性。 7. 形式化并评审实体—关系图。 8. 重复步骤1到步骤7，直到数据建模完成 12.6.2 创建数据流模型 (1)第0层的数据流图应将软件/系统描述为一个泡泡 (2)应仔细地标记主要的输入和输出 (3)通过隔离要表示在下一层中的候选加工、数据对象和存储而开始精化过程 (4)所有的箭头和泡泡应使用有意义的名称标记 (5)当从一个级别到另一个级别时要维护“信息流连续性” (6)一次精化一个泡泡 12.6.3 创建控制流模型 列出所有被软件“读取”的传感器。 列出所有的中断条件。 列出所有被操作者开动的“开关”。 列出所有的数据条件。 扫描加工的名词—动词，回顾可能的CSPEC的输入/输出的“控制项”。 标识其状态描述系统的行为，定义状态的变迁。 关注可能的省略 12.6.4 控制规约 控制规约(CSPEC)在两方面表示系统的行为: 状态变迁图(STD)，它是行为的“顺序规约” 加工激活表(PAT)，它是行为的“组合规约” 12.6.5 加工规约 加工规约用来描述出现在求精过程的最终层次的 所有流模型加工。 加工规约的内容: 叙述性正文 加工算法的“程序设计语言”(PDL)描述 数学方程 表 图或图表 12.7 数据字典 数据字典是对所有与系统相关的数据元素的一