软件工程--软件详细设计.ppt

PAD图的优点： （1）支持结构化的程序设计原理。 （2）支持逐步求精的设计方法，左边层次中的内容可以抽象，然后由左到右逐步细化。 （3）清晰地反映了程序的层次结构。 （4）易读易写，使用方便。 （5）可自动生成程序。 * PPT课件 6.5.2 盒图 盒图又称N-S图或Chapin图。盒图中取消了控制流线和箭头，因而完全排除了因随意使用控制转移对程序质量造成的影响。盒图较彻底地解决了程序结构化问题。 盒图提供的基本结构及其表示方法见图6--21，它分别对应图结构程序设计的三种基本控制结构和两种扩充结构。 * PPT课件 图6---7 非正规程序 * PPT课件 由于正规程序有一个入口线和一个出口，因而一个正规程序总可以抽象为一个函数结点。这个函数结点概括了该正规程序对数据进行的运算和测试的总的作用。 正规子程序 [定义6-2]如果一个正规程序的某部分仍然是正规程序，那么称其为该正规程序的正规子程序。 * PPT课件 图6--8正规程序的抽象过程 * PPT课件 6.3.4基本程序 封闭结构 [定义6-3] 流程图程序中两个结点之间所有没有重复结点的通路组成的结构称为封闭结构。 * PPT课件 图6—9 封闭结构 * PPT课件 基本程序 [定义6-4]一个正规程序，如果满足如下两个条件，则称之为基本程序。 不包括多于一个结点的正规子程序，换句话说，是一种不可再分解的正规程序； 如果存在封闭结构，封闭结构都是正规子程序。 * PPT课件 例如，图6--8中的结点G满足第一个条件，它不包括多于一个结点的正规子程序；但是它不满足第二个条件，它有两个封闭结构：{P2-[A；P4]-S2}和{P2-P4-B-S1}。显然这两个结构都不是正规程序，它们都有两个出口线，如图6--10所示。所以G不是基本程序。 * PPT课件 图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] ：若允许增加辅助变量、或增加额外计算、或改变程序的执行顺序，问题解的任何算法