软件工程--  原理、方法与应用

1. 软件工程 -- 原理、方法与应用 电子教案 48 学时（ 32 理论 +16 理论）

9. 硬件 / 软件成本变化趋势 100% 0% 1955 1970 1985 硬件 软件

10. 软件技术进步落后于需求增长

15. 面向过程和面向对象的编码 存款 取款 利息结算 帐户余额 帐户余额 利息结算 存 款 取 款

20. 瀑布模型 计划时期 开发时期 运行时期 问题定义 可行性研究 需求分析 软件设计 编 码 测 试 维 护

22. 快速原型模型 需求分析 原型开发 最终系统设计 原型评价 最终系统实现 用户 反馈

24. 增量模型 规格说明 设计 实现和集成 交付客户 规格说明 设计 实现和集成 交付客户 规格说明 设计 实现和集成 交付客户 规格说明 设计 实现和集成 交付客户 增量 1 增量 2 增量 3 增量 n

26. 螺旋模型

28. 构件集成模型

38. 转换模型 形式化 规格说明 与需求比较后修正 变换 2 变换 1 变换 n 测试 形式化开发记录 系统需求 目标系统

40. 净室模型 需求 收集 盒结构 规约 形式化 设计 统计性使 用测试 正确性 证明 代码生成 与检查 测试计划 认证 需求 收集 盒结构 规约 形式化 设计 统计性使 用测试 正确性 证明 代码生成 与检查 测试计划 认证 需求 收集 盒结构 规约 形式化 设计 统计性使 用测试 正确性 证明 代码生成 与检查 测试计划 认证 增量 1 增量 2 增量 n

47. 结构化分析模型 加工说明 数据对象说明 CFD,STD 图 DFD 图 E-R 图 DD 控制说明

48. 面向对象分析模型 属性、操作、协作者 对象 - 行为模型 对象 - 关系模型 类 / 对象 模型 使用实例

52. DFD 练习— 售书系统 领书单 进书通知 购书单 缺书单 学 生 教材 购销 系统 书库保管员

53. DFD 练习— 售书系统 领书单 进书通知 进书通知 购书单 缺书单 F1 教材存量表 F2 缺书登记表 1 销售 2 采购 书库 保管员 学 生

60. CFD 和 DFD 的关系 数据条件 控制输入 输出数据 控制输入 加工激活信号 控制输出 输入数据 加工模型 PSPEC 控制模型 CSPEC

61. CFD 的符号表示 控制信息或事件 引用控制说明

62. DFD 和 CFD 例子 ---DFD 信号 半分钟数据 光电管 采集 计数 传送 工控机 处理 实时数据显示 班数据 处理 半小时数据 班数据

63. DFD 和 CFD 例子 ---CFD 翻屏 人工驱动信息 时钟 半小时 半分钟 某型号累加 物品经过 信号 半分钟数据 光电管 采集 计数 传送 工控机 处理 实时数据显示 班数据 处理 半小时数据 班数据

65. STD 例子 20 秒到 / 翻屏 生成最新数据 / 翻屏 半小时到 / 工控处理 半分钟到 / 传送 空闲 / 采集 物品经过 / 计数 采集 PLC 计数 传送 工控处理 实时翻屏

67. E-R 图例子 电话机 生产厂商 经销商 用户 生产 购买 使用 经销

69. Use Case 图例子 保险商务系统 签定保险单 销售统计 客户统计 客户 保险销售员

73. 对象状态转换图例子 加纸 纸用完 故障修复 打印故障 打印完成 接到打印命令 就绪 打印 缺纸 故障

74. 事件轨迹图例子 [ 打印机忙 ] 保存文件 [ 打印机就绪 ] 打印文件 打印文件 打印文件 计算机 打印服务器 打印队列 打印机

75. 事件流图例子 [ 打印机忙 ] 保存文件 [ 打印机就绪 ] 打印文件 打印文件 计算机 打印队列 打印服务器 打印机

85. 例子 电话 话筒 按键 连接线 话机 人 电话 人 教师 大学生 小学生 学生 中学生

87. 对象 - 关系图例子 １：１ 0 ：１ １：１ １ : １ 0:1 １：ｍ １：１ １：１ １： m 0: ｍ １ : １ １：１ 0 ：ｍ １：１ １：１ １：ｍ １：１ １：ｍ １：１ １：ｍ １：１ 部门 流水线 工序 材料 在制品 １：ｍ 不良品 指标数据 １：ｍ １：１ 规格 实时数据

96. 内聚 １ ２ ３ ４ ５ ６ ７ 弱 强 低内聚 中内聚 高内聚

98. 逻辑性模块 读入分数 平均 / 最高 ? 计算平均分 计算最高分 输出结果

100. 弱耦合 数据耦合 非直接 耦合 模块 2 模块 1 模块 4 模块 3 特征耦合（参数表 传递数据结构）

101. 公共耦合 Ｄ Ｃ Ｂ Ａ Ｎ Ｌ

110. 结构化设计的内容 PSPEC 数据对象描述 CFD DFD E-R DD CSPEC 过程设计 接口设计 体系结构设计 数据设计

115. 变换结构的 DFD 传入 传出 信息 传入流 传出流 变换流 时间 变换 中心

116. 事务型结构 DFD 事务中心 接受路径 动作路径

117. 同时存在两类结构 传入 变换 传出 事务中心 T

119. 例子—划分 DFD a b c d e p r w u v 传入部分 变换中心 传出部分 P E D C B A W R U V Q

120. 第一级分解 c,e c,e u,w u,w M E M T M C M A

121. 传入分支的分解 c,e c e b b c a a b d d b GetE AtoB ReadD DtoE ReadA BtoC GetB GetC M A

122. 传出分支的分解 w,u w u u v v WriteW UtoV Write V PutU M E

123. 变换中心的分解 e p c,p r r w,u M T R P Q

124. 初始 SC 图 M C M T Q P R M E WriteW PutU Uto V WriteV A toB ReadA GetB DtoE Read D BtoC GetC Get E M A

126. 例子—划分 DFD 接受部分 事务中心 动作部分 传入 T 变换 传出

127. Example ---- first－level factoring 发送 事务控制 接收 顶层 第一层

128. 混合结构 a b b1 b2 b3 c1 c2 c3 d e f g h j k l m C1 A C3 B C2 D L F G E K J

130. 扇入和扇出 M 的扇入 M 的扇出 M M

131. 例子：扇出 煎饼形结构 不可取！ 计算 实发工资 取得 工资数据 编外人员 扣 款 编外人员 工 资 编外人员 税 收 薪金制 工资额 计时制 工资额 常规 扣款 税收 扣款

132. 例子：扇出 塔型结构 常规 扣款 编外人员 实发工资 计 算 实发工资 取 得 工资数据 计时工人 实发工资 计薪工人 实发工资 编外人员 扣 款 编外人员 税 收 编外人员 工 资 税收 扣款 计时制 工资额 薪金制 工资额

136. N-S 图 顺序 选择 循环 S1 S2 C T F S1 S2 While C S S Until C

139. Jackson 方法和 SD 方法 Jackson 方法 数据结构 映射 程序结构 程序的过程性表示 (Jackson 图 ) (Jackson 图 ) (Jackson 伪代码 ) 程序分析 程序设计 SD 方法 问题结构 映射 软件结构 各模块的过程描述 (DFD 图 ) (SC 图 ) (PDL 等工具 ) 概要设计 过程设计