SE06瀑布模型设计过程.ppt

详细设计 具体地实现所要求的系统 逻辑上正确地实现每个模块的功能，重要的是设计出的处理过程应该尽可能简明易懂 模块来自于系统设计 在编码阶段只要对本阶段得到的对系统的精确描述，翻译成某种程序设计语言书写的程序 不是写程序，而是设计程序的“蓝图” 工具 程序流程图 本质上不是逐步求精的好工具，它诱使程序员过早地考虑程序的控制，而不是程序的全局结构 程序流程图中的箭头代表控制流，可以随意转移控制 不易表示数据结构 工具 NS图 Nassi-Shneiderlman 功能域明确 不能随意转移控制 容易确定局部和全局数据的作用域 易表现嵌套关系，也可表示模块的层次结构 任务1 任务2 任务3 条件 Then else 部分 部分 T F 循环条件 Do Until 部分 Do while 部分 循环条件 工具 PAD图 Problem Analysis Diagram 结构化控制结构 程序结构清晰 程序逻辑易读易懂易记 易转换成高级语言 可表示数据结构 支持自顶向下逐步求精方法 P1 P2 P3 P4 P5 C P2 P6 P7 While C3 P10 def Until C2 P8 C1 P9 IPO表 系统： 模块： 编号： 作者： 日期： 被调用： 调用： 输入参数： 输出参数： 处理： 局部数据元素： 注释： IPO表描述算法 工具 判定表 多重嵌套时使用，可以简洁而无歧义的描述判定规则 与卡诺图或布尔代数结合起来，可以教研或简化判定表 判定树 针对判定表的含义不直观的修正 判定表 1 2 3 4 5 6 7 8 9 国内乘客 T T T T F F F F 头等舱 T F T F T F T F 残疾乘客 F F T T F F T T 行李重量w≤30 T F F F F F F F F 免费 ○ w-30 x2 ○ w-30 x3 ○ w-30 x4 ○ ○ w-30 x6 ○ ○ w-30 x8 ○ w-30 x12 ○ 条件 可能的动作 条件组合 工具 过程设计语言PDL Process Design Language 具有严格的关键字外部语法，定义控制结构和数据结构 内部的实际操作和条件语言是灵活自由的 评价 评价标准 模块性 整体简单性 易编辑性 机器可读性 可维护性 结构增强性 自动处理能力 数据表示 逻辑验证 “面向代码”能力 PDL最好的组合 流程图和NS图易看清控制流 PAD 决策树与决策表是表驱动应用的理想工具 其他问题 界面的设计 并发性 设计模式与复用 异常标识和处理 防错和容错技术 改进设计技术 设计的评估和确认 文档化设计 界面的设计 文化 用户偏爱 用户界面特性的指导原则 并发性 并发处理的要求 共享状态等 计时、同步、进程优先权等将并发的正确性转换成决定性问题 监控器 控制特定进程互斥的对象或构件 M是进程P的监控器，A要调用P，则通过M进行调用，此时B也希望调用P，则M将B挂起，直到A执行完P，再激活B，使其执行P 守护者 是永远在运行的任务，目的是控制对封装资源的访问 有个条件检查器，进行访问控制的决策 G是资源R的守护者，任务T要使用R，需向G发请求，G立即挂起T，直到条件检查器报告条件满足，然后G相应请求 设计模式与复用 设计或构造的某些系统与以前的系统类似 复用这些模式 设计模式：命名、抽象并标识公共设计结构的主要方面，使其可用于创建可服用的设计。 设计模式标识参与的类和实例，他们的角色和协作以及责任的分配 异常标识和处理 典型的异常 无法提供一种服务 提供了错误的服务或数据 破坏了数据 处理方法 重试，恢复到前一状态，尝试不同策略执行服务 改正，恢复到前一状态，改正某些方面，尝试同一策略再执行一次 报告，恢复到前一状态，向错误处理构件报告问题，不再提供服务 捕获异常 校验和以及检查数字，以便双重检查数据和计算的正确性 冗余连接，包括前向和后向指针 计时器 防错和容错技术 主动故障检测 被动检测 主动检测 质疑 尽快处理 冗余 故障改正 容错 对故障造成的损害进行隔离 改进设计技术 降低复杂性 判定表可依据卡诺化简进行简化处理 按合同设计 原型化设计 故障树分析 自己查资料看 设计的评估和确认 确认是确保设计满足用户需求 验证是确保设计的质量 测量设计质量 度量结构复杂度 复杂度C S + D 结构复杂度S 1/n ∑ f 2 i 数据复杂度D V i /[f i + 1] f i 构件i的扇出 V i 构件i中输入和输出变量数 n 构件数 设计复杂性占故障变化率的69% 千