软件工程-第六章-软件详细设计

判定表比判定树更严格、更具有逻辑性。判定 表的条件严格按二进值取值，不会遗漏任何一 种组合。 判定表能够把在什么条件下系统应做什么动作 准确无误地表示出来，但不能描述循环的处理 特性，循环处理还需结构化语言。
6.2.3判定树

判定树是判定表的变形，一般情况下它比判定表更直 观，且易于理解和使用。图6--2是与表6--1功能等价 的判定树。

任何一个结构化程序都可以用这些基本程序构 成。基本程序形式有多种，显然前面提到的三 种基本控制结构和两种扩充控制结构都是基本 程序。所以基本程序并不都是必不可少的，为 了构造程序，可以只使用一部分基本程序。

基集合
[定义6-5]用以构造程序的基本程序的集合称为基集合。 例如，可以选下列集合作为基集合： {序列，if-then-else，while do} 或{序列，if-then-else，repeat-until}等。

6.3.5结构化程序
复合程序 [定义6-6] 如果一个基本程序的函数结点用另一个基本 函数程序替换，产生的新的正规程序称为复合程序。 结构化程序 [定义6-7] 由基本程序的一个固定的基集合构造出的复 合程序称为结构化程序。
6.4结构化定理

6.4.1程序函数
–
[定义8]已知一正规程序P，对于每个初始数据状态 X，若程序是终止的，那么有确定的最终状态Y， 如果对于每个给定的X，值Y是唯一的，那么所有 的有序对集合{（X，Y）}就定义了一个函数，称之 为程序P的程序函数，记为[P]。
（a）非结构化流程图
（b）等价的结构化流程图
图6—14 改变构造执行顺序

6.4.3非结构化转换为结构化
–
1. 用结构化定理证明过程提供的方法 例4 图6--15的流程图程序是一个非结构化程序， 利用上节结构化定理证明过程给出的方法将其转换 成结构化程序的步骤如下。 （1）结点编号如图6--15；
图6—1判定表的结构
表6--1
条件组合 条 W>30公斤 件 头等舱乘客 残疾乘客 行 （W-30）*2 动 （W-30）*4 （W-30）*3 （W-30）*6 免费
行李托运费处理判定表
1 √ √ √ √ √ √ √ √ √ √ √ 2 √ √ √ 3 √ 4 √ √ √ √ √ 5 6 7 8
– –
（3）高层的宏观控制流程图与低层的微观控制流 程的区分问题。 （4）不易表示数据结构。 为了克服流程图的缺陷，要求流程图都应由三种 基本控制结构顺序组合和完整嵌套而成，不能有相 互交叉的情况，这样的流程图是结构化的流程图]一个流程图程序如果满足下面两个 条件，称为正规程序。

6.1.2 详细设计方法
1．采用自顶向下、逐步求精的程序设计方法 在详细设计中，虽然处于“具体”设计阶段，但 在设计某个复杂的模块内部处理过程时，仍可以采用 逐步求精的方法。可以将其分解为若干个模块来实现， 降低处理细节的复杂度。
2．使用三种基本控制结构构造程序 设计时，如果对一个模块处理过程细化中，开始是模 糊的，可以用下面三种方式以模糊过程进行分解： （1）用顺序方式对过程分解，确定各部分的执行顺序。 （2）用选择方式对过程分解，确定某个部分的执行条件。 （3）用循环方式对过程分解，确定某个部分进行重复的 开始和结束的条件。
4．界面设计 用户界面的设计现在显得比较重要，可以 采用字符用户界面设计，图形用户界面和多媒 体人机界面设计。这就要结合具体的系统来处 理。
5．其他设计 根据软件系统的类型，还可能要进行以下设计： （1）代码设计：为了提高数据的输入、分类、存储及检 索等操作的效率，以及节约内存空间，对数据库中的 某些数据项的值要进行代码设计。 （2）输入/输出格式设计 （3）人机对话设计：对于一个实时系统，用户与计算机 频繁对话，因此要进行对话方式、内容及格式的具体 设计。 （4）网络设计：如果设计的软件是一个分布式系统，那 么还要进行网络的拓扑结构设计。
– –
具有一个入口线和一个出口线。 对每一个结点，都有一条从入口线到出口线的通 路通过该结点。
图6---7 非正规程序

由于正规程序有一个入口线和一个出口，因而一个正 规程序总可以抽象为一个函数结点。这个函数结点概 括了该正规程序对数据进行的运算和测试的总的作用。

正规子程序
[定义6-2]如果一个正规程序的某部分仍然是正规程序， 那么称其为该正规程序的正规子程序。
软件工程
Software Engineering
第六章 软件详细设计

6.1 详细设计任务 6.2 设计表示法 6.3 结构化程序设计 6.4 结构化定理 6.5 图形工具 6.6 面向数据结构的设计 小结
6.1详细设计任务

6.1.1 详细设计的基本任务 1．数据结构设计 前面的需求分析、总体设计阶段，确定的 概念性的数据类型，要进行确切的定义。这一 部分的设计内容一般比较多，所以大多数采用 小型数据库辅助的方法。

上述三种描述加工逻辑的工具各有优缺点，对 于顺序执行和循环执行的动作，用结构化语言 描述；对于存在多个条件复杂组合的判断问题， 用判定表和判定树。
6.3结构化程序设计

6.3.1 结点
–
在软件工程中，用流程图程序描述客观存在的事物 特性。体现为描述程序控制结构和和指令执行情况， 这种对程序结构的控制的流程图程序是一个有向图。 图的基本元素是函数结点、谓词结点和汇点三种结 点。
图6--5 流程图中汇点表示

6.3.2三种基本控制结构 流程图在描述程序控制结构时的优点是直 观清晰、易于使用。 图6--6为流程图的三种基本控制结构。
图6--6 流程图的三种基本控制结构

流程图也存在严重缺点：
–
–
（1）用流程图本身没有限制，所以可以随心所欲 地画控制流程线的流向。因此也容易造成非结构化 的程序结构 （2）如果遇到多层嵌套的循环时，而且每层仅容 许一个出口，那么退出效率就会很差。
6.2 设计表示法

6.2.1 结构化语言 结构化语言是介于自然语言和形式化语言之间的 一种类自然语言。结构化语言语法结构包括内外两层。 内部语法则比较灵活，可以使用数据字典中定义过的 词汇、易于理解的一些名词、运算符和关系符；外层 语法具有较固定的格式，设定一组符号如IF、THEN、 ELSE、DO WHILE…ENDWHILE、DO CASE…ENDCASE等，用于描述顺序、选择和重复 的控制结构。
1、函数结点 如果一个结点有一个入口线和一个出口线，则称 为函数结点。如图6--3所示。其中，F是函数结点的名 字。
图6--3 流程图的函数结点
2、谓词结点 如果一个结点有一个入口线和两个出口线，且它 不改变程序的数据项的值，则称为谓词结点。如图6-4所示。
图6--4谓词结点
3、汇点 如果一个结点有两个和一个出口线，而且它不执 行任何运算，那么称为汇点, 图6--5( a)所示。由多 个入口线汇集到一点的情形可以用多个汇点的联结表 示。
例1 程序P为： t:=x; x:=y; y:=t 那么，对于任意给定的初始数据状态 X：（x, y, t），P的最终数据状态将为 Y：（y,x,x）。因而，程序函数[P]为： {（（x,y,t），（y,x,x））}


程序函数是对程序功能的一个精确描述。如果 两个程序有相同的程序函数，那么它们所完成 的功能一定是相同的。 [定义6-9] 如果程序P1和P2有相同的程序函数， 称P1和P2是函数等价的，简称P1和P2是等价 的。
3．组织形式 在详细设计阶段，当参加设计的人员比较多的时 候，有可能因为设计员的技术水平、设计风格不同而 影响到系统的质量。因此，要组织以一个负责全部技 术活动的三人为核心小组。 小组中有负责全部技术的主程序员、协调、支持 主程序员的后备程序和负责事务性工作的程序管理员。 再加上其他技术人员。这种发生的目的是使设计责任 集中在少数人身上，利于提高软件质量，并且能有效 地提高软件生产率。
6．编写设计说明书 详细设计说明书有下列的主要内容： （1）引言：包括编写目的、背景、定义、参考资料。 （2）程序系统的组织结构。 （3）程序1（标识符）设计说明：包括功能、性能、输 入、输出、算法、流程逻辑、接口。 （4）程序2（标识符）设计说明。 （5）程序N（标识符）设计说明。
7．评审 对处理过程的算法和数据库的物理结构都 要评审。
图6—2 判定树


当处理逻辑中含太多判定条件及其组合时，用 判定表和判定树描述会比较方便、直观。 以上三种逻辑表达工具各有所长和不足，归纳 起来可以得出下列结论：
–
对于一个不太复杂的判断逻辑（条件组合和行动只 有10个左右），使用判断树比较好。
– –
对于一个复杂的判断逻辑（条件较多，相应的行 动也比较多），使用判断表比较好。 若一个处理逻辑既包含了一般的顺序执行动作， 又包含了判断或循环逻辑，则使用结构化语言较 好。
图6--15结点编号非结构化流程图
（2）图中四个结点构造新程序分别如图6--16；
图6—16点构造新流程
（3）得到如图6--17的等价结构化程序。
图6—17与图6--15等价结构化流程图
图6—13（a）所示，是一个非结构化的流程图。 通过改变构造的执行顺序，形成了图6—13（b）所示 与图6—13（a）等价的结构化流程图。在图6—13（b） 中，使用了组合判断A1和A2，“”表示 A1―非”与 A2―非”。
图6—13改变构造执行顺序
–
[定理4] ：若允许增加辅助变量、或增加额外计算、 或改变程序的执行顺序，问题解的任何算法都可以 表示为结构化构造。 图6—14（a）所示的结构化流程图中有10个元 素。是一个非结构化流程图程序。因为，它的两个 选择结构出现重合，造成了程序段D有两个入口， 一个出口，破坏了单入口单出口这项结构化原则。