软件工程-第六章-软件详细设计[宣贯].pptVIP

图6—10 两个出口线的结构 * 精品PPT | 实用可编辑 任何一个结构化程序都可以用这些基本程序构成。基本程序形式有多种，显然前面提到的三种基本控制结构和两种扩充控制结构都是基本程序。所以基本程序并不都是必不可少的，为了构造程序，可以只使用一部分基本程序。 * 精品PPT | 实用可编辑 基集合 [定义6-5]用以构造程序的基本程序的集合称为基集合。 例如，可以选下列集合作为基集合： {序列，if-then-else，while do} 或{序列，if-then-else，repeat-until}等。 * 精品PPT | 实用可编辑 6.3.5结构化程序 复合程序 [定义6-6] 如果一个基本程序的函数结点用另一个基本函数程序替换，产生的新的正规程序称为复合程序。 结构化程序 [定义6-7] 由基本程序的一个固定的基集合构造出的复合程序称为结构化程序。 * 精品PPT | 实用可编辑 6.4结构化定理 6.4.1程序函数 [定义8]已知一正规程序P，对于每个初始数据状态X，若程序是终止的，那么有确定的最终状态Y，如果对于每个给定的X，值Y是唯一的，那么所有的有序对集合{（X，Y）}就定义了一个函数，称之为程序P的程序函数，记为[P]。 * 精品PPT | 实用可编辑 例1 程序P为： t:=x; x:=y; y:=t 那么，对于任意给定的初始数据状态 X：（x, y, t），P的最终数据状态将为 Y：（y,x,x）。因而，程序函数[P]为： {（（x,y,t），（y,x,x））} * 精品PPT | 实用可编辑 程序函数是对程序功能的一个精确描述。如果两个程序有相同的程序函数，那么它们所完成的功能一定是相同的。 [定义6-9] 如果程序P1和P2有相同的程序函数，称P1和P2是函数等价的，简称P1和P2是等价的。 * 精品PPT | 实用可编辑 6.4.2结构化定理 在理论上的研究证明问题解的任何算法，都可以表示为结构化方法的构造。其理论研究可以归纳如下： [定理6-1] 任一正规程序都可以函数等价于一个由基集合 {序列，if-then-else，while-do}产生的结构化程序。 * 精品PPT | 实用可编辑 [定理6-2]：如果不增加辅助变量、不增加额外计算或不改变程序的执行顺序，那么必然存在不能用if—while表示的构造。 [定理6-3] ：在定理一的假设条件下，if—while构造的充分必要条件是：该构造不包含两个（或两个以上）的出口循环。 * 精品PPT | 实用可编辑 图6—13（a）所示，是一个非结构化的流程图。通过改变构造的执行顺序，形成了图6—13（b）所示与图6—13（a）等价的结构化流程图。在图6—13（b）中，使用了组合判断A1和A2，“”表示 A1“非”与A2“非”。 * 精品PPT | 实用可编辑 图6—13改变构造执行顺序 * 精品PPT | 实用可编辑 [定理4] ：若允许增加辅助变量、或增加额外计算、或改变程序的执行顺序，问题解的任何算法都可以表示为结构化构造。 图6—14（a）所示的结构化流程图中有10个元素。是一个非结构化流程图程序。因为，它的两个选择结构出现重合，造成了程序段D有两个入口，一个出口，破坏了单入口单出口这项结构化原则。 * 精品PPT | 实用可编辑 （a）非结构化流程图 （b）等价的结构化流程图 图6—14 改变构造执行顺序 * 精品PPT | 实用可编辑 6.4.3非结构化转换为结构化 1. 用结构化定理证明过程提供的方法 例4 图6--15的流程图程序是一个非结构化程序，利用上节结构化定理证明过程给出的方法将其转换成结构化程序的步骤如下。 （1）结点编号如图6--15； * 精品PPT | 实用可编辑 图6--15结点编号非结构化流程图 * 精品PPT | 实用可编辑 （2）图中四个结点构造新程序分别如图6--16； 图6—16点构造新流程 * 精品PPT | 实用可编辑 （3）得到如图6--17的等价结构化程序。 图6—17与图6--15等价结构化流程图 * 精品PPT | 实用可编辑 2.其他方法 （a）非结构化流程图 （b）与（a）等价的结构化流程图 图2—18增加辅助变量的转换 * 精品PPT | 实用可编辑 6.4.4 过程设计语言 过程设计语言（Process Design Language，简称PDL）是在伪码的基础上，扩充了模块的定义与调用、数据定义和输入输出而形成的。 PDL一般分为内外两层语法。内层语法则用一些简单的句子、短语和通用的数学符号，来描述程序应执行的功能。而外