第6章面向数据的分析方法.ppt

课程名称：软件工程 第11讲 班 级： 日 期： 教 室： 教学题目：第6章 面向数据的分析方法。 教学目的：理解Warnier图及DSSD、Jackson系统开 发方法。 教学重点： Warnier图及DSSD、Jackson系统开发方 法。 教学难点： Jackson系统开发方法。 教 具：多媒体教室、电子教案 作 业：;第6章 面向数据的分析方法与形式化方法;6.1 面向数据结构的系统开发方法;Warnier图;Warnier图;Warnier图;6.1.2 DSSD方法;图6?1?2 软件专卖店管理系统的数据流图;1．标识实体图;注：实体图中的结点表示实体、有向边表示实体之间的信息流。 （a）信息的生产者和消费者 （b）实体图示例 图6?1?3;图6?1?4 组合实体图示例;2．创建信息?过程图;2．创建信息?过程图;3．创建Warnier?Orr原型图;6.2 Jackson系统开发方法;6.2.1 标识实体与行为;6.2.1 标识实体与行为;6.2.2 生成实体结构图;图6?2?2 实体结构图示例;6.2.3 创建软件系统模型;约定：0 表示现实世界中的过程或装置， 1 表示目标软件系统中的过程 图6?2?3 系统规格说明图的图形记号;图6?2?4 系统规格说明图示例;创建模型的第二步是利用Jackson给出的“结构正文”（Structure Text）将实体结构图和系统规格说明图综合起来，并针对目标软件系统中的每一过程用正文方式给出更为精确、更为详尽的描述。 BUUTTON_1 Read ButtonDown 信号 PUSH_BODY itr while ButtonDown /* 循环结构 */ PUSH /* 按键处理 */ Read ButtonDown 信号 PUSH_BODY end BOTTON_1 end;6.2.3 创建软件系统模型;SHUTTLE_BODY itr /* 往返重复运行 */ STATION seq Arrive(i) /* 控制交通车减速，准备停靠站i */ WAIT_BODY itr while Wait(i) /* 如果状态向量 中在站i的等待标志置位，则循环等待 */ Read 状态向量 WAIT_BODY end Leave(i) TRANSIT_BODY itr while Wait(i) Read 状态向量 TRANSIT_BODY end STATION end SHUTTLE_BODY end Arrive(1) SHUTTLE_1 end;图6?2?5 对应于结构正文的结构图;6.3 形式化方法简介;6.3.1 形式化方法的引入;6.3.1 形式化方法的引入;6.3.1 形式化方法的引入;6.3.2 形式方式的主要思想;6.3.2 形式方式的主要思想;6.3.3 形式化方法的分类;6.3.4 软件形式开发方法;6.3.5 形式方法的优缺点;形式化方法近年来的发展