南华大学计算机科学与技术学院软件工程概论课件第4章 详细设计（1）.ppt

主要内容 详细设计的目标与任务 结构化详细设计技术与工具 Jackson 程序设计方法 Warnier程序设计方法 4.1 详细设计的目标与任务 概要设计确定了软件系统的总体结构，详细设计则对概要设计结果进一步细化，给出目标系统的精确描述，以便在编码阶段直接翻译成计算机上能够运行的程序代码。 在详细设计阶段，结构化设计和面向对象设计没有本质区别，都是确定算法和数据结构。 详细设计的结果“软件详细规格”（相当于工程施工图纸），与编程思想、方法和风格等密切相关。 4.1.1 详细设计的目标 详细设计阶段具体地设计所要求的系统，得出新系统的软件详细规格。同时，要求设计出的规格简明易懂，便于下一阶段用某种程序设计语言在计算机上实现。 如何高质量地完成详细设计是提高软件质量的关键。 4.1.2 详细设计的任务 算法过程的设计; 数据结构的设计; 数据库物理设计; 信息编码设计; 测试用例的设计; 其他设计（人机交互、系统配置等） 编写“详细设计说明书” 。 4.2 结构化程序的详细设计技术与工具 结构化程序的详细设计技术 结构化程序的详细设计工具 4.2.1 结构化程序的详细设计技术 结构化程序的详细设计技术（简称结构化技术）从对“取消GOTO语句”的争论开始而逐渐形成。 GOTO语句能够使程序的控制流程转移方便，可以提高程序的执行效率；但GOTO语句越多，程序的可读性就越差。 对GOTO语句的讨论，改变了人们在进行程序设计时单纯强调程序效率的旧观念，认识到编写简明易懂程序的重要性。 （试从硬件角度思考这一改变的基础）。 结构化技术 自顶向下，逐步求精 突出了先全局后局部、先抽象后具体的做法，使开发出来的程序层次清晰、易读、易理解、易验证，从而可提高软件的质量。 单入口单出口的三种基本流程控制结构 1966年，B?hm和Jacopini在一篇文章中证明了，任何单入口单出口程序均可用顺序、选择和循环三种基本控制结构来实现。 强调使用“单入口单出口的三种基本流程控制结构”来构建程序，可以保证程序结构清晰，提高程序代码的可重用性，有利于程序的正确性证明或测试。 4.2.2 结构化程序的详细设计工具 描述结构化程序的设计结果可以采用图形（如程序流程图）、表格（如判定表）、语言（如伪代码语言）等工具。 每种工具都有它自己的优缺点，在设计时可以针对不同的情况选用，甚至可以同时采用多种工具来描述详细设计的结果。 程序流程图 优缺点 主要优点：直观、灵活、易使用，便于初学者掌握。 缺点：程序流程图本质上并不是逐步求精的好工具，它诱使程序设计人员过早考虑程序的控制流程，而不去考虑程序的全局结构；另一方面，用箭头表示控制流方向，可以实现控制流的任意转移，如果使用得当则简单易懂且灵活，否则非结构化的程序流程图可能非常难理解，无法进行修改和维护。同时，程序流程图也不便于表示数据结构。 盒图 优缺点 主要优点：它强制设计人员使用结构化技术，从而可以保证设计的质量。同时，从盒图上可以直观地看出某一特定控制结构的作用范围，为理解设计意图、编程实现、选择测试用例等带来了方便。在使用时还可附上一个描述数据结构的盒子，使得盒图更加适用于详细设计。 缺点：盒图的修改比较麻烦，且结构嵌套层次较多时不太容易绘制，以致盒图的使用至今仍不流行。 判定表/判定树 适合: 完成加工的一组动作是由于某一组条件取值的组合而引发的动作。 （续）判定树 判定树是判定表的图形表示，有时比判定表更直观。 问题分析图 特点 问题分析图强制设计人员采用结构化技术。 采用树形结构，既克服了程序流程图不能清晰表现程序层次结构的缺点，又不同于盒图将处理约束在一个盒子里而使修改麻烦，并且这种结构为软件的自动生成提供了有力的帮助（树遍历）。 4.3 Jackson程序设计方法 Jackson结构程序设计方法（Jackson Structured Programming，JSP）是英国人M.A.Jackson首先提出来的，是一种面向数据结构的结构化程序设计方法。 该方法通过分析问题的输入、输出数据结构（用Jackson图表示）的对应关系，按一定的映射规则将其映射成软件的过程描述，用Jackson伪代码表示。 4.3.1 Jackson图 4.3.2 Jackson伪代码 A seq B C D end A 4.3.3 Jackson程序设计方法的步骤 分析并确定问题的输入和输出数据结构，并用Jackson图表示。 找出输入和输出数据结构中有对应关系的数据单元。