【2017年整理】zwchap6 软件工程导论.pptVIP

第6章 详细设计;学习目标;详细设计阶段的目标与任务;详细设计 ; 1965年—— E.W.Dijkstra 最早提出结构程序设计：程序质量与程序中包含的Goto语句的数量成反比（）。 1966 年——Bohm, Jacopini ，证明了只用“顺序”、“选择”、“循环”控制结构就能实现任何单入口单出口程序。;1968年 -- Dijkstra再次建议从一切高级语言中取消GO TO语句，只使用3种基本控制结构写程序。他的建议引起了激烈争论，要创立一种新的程序设计思想、方法和风格。 1971年 -- IBM公司在纽约时报信息库管理系统的设计中，在美国宇航局空间实验室飞行模拟系统的设计中，结构程序设计技术获得圆满成功。前者包含83 000行高级语言源程序，后者包含40万行源程序，而且在设计过程中用户需求又曾有过很多改变。 1972年 -- IBM公司的Mills进一步提出，程序应该只有一个入口和一个出口，从而补充了结构程序设计的规???。 ;结构程序设计之父;ALGOL60; 理论上，最基本的控制结构只有两种：顺序、循环结构（选择结构可由其两者构造）。 学界认识到，不是简单去掉Goto语句的问题，而是要创立一种新的程序设计方法。 ——结构化程序设计（IBM率先成功运用）。;结构程序设计： 一种设计程序的技术，它采用自顶向下逐步求精的设计方法和单入口单出口的控制结构。 ;使用结构程序设计技术的好处： 1）提高软件开发工程的成功率和生产率； 2）系统有清晰的层次结构，容易阅读理解； 3）单入口单出口的控制结构，容易诊断纠正； 4）模块化可以使得软件可以重用； 5）程序逻辑结构清晰，有利于程序正确性证明。;经典的结构程序设计：只允许使用顺序、IF_THEN_ELSE选择和DO_WHILE循环；; 流程图通常由三种结点组成： 1）函数结点 如果一个结点有一个入口线和一个出口线，则称为函数结点。 ;2）谓词结点 如果一个结点有一个入口线和两个出口线，而且它不改变程序的数据项的值，则称为谓词结点。 ;3）汇点 如果一个结点有两个或多个入口线和一个出口线，而且它不执行任何运算，则称为汇点 。;1）顺序结构：相当于“A、B” ;2）选择结构 相当于“If exp then A else B endif ” ;3）循环结构：相当于“While exp do A” ;1）多分支结构 相当于“Case I of I=1:C1; I=2:C2; I=3:C3; … ; I=n:Cn” ;2）UNTIL循环结构 相当于“Repeat A Until exp” ;6.1.1.2 正规程序 定义1：一个流程图程序如果满足下面两个条件，称为正规程序： 1）具有一个入口线和一个出口线； 2）对每一个结点，都有一条从入口线到出口线的通路通过该结点。 ; 由于正规程序有一个入口线和一个出口线，因而一个正规程序总可以抽象为一个函数结点。 ;定义2：如果一个正规程序的某个部分仍然是正规程序，那么称它为该正规程序的正规子程序。 ;先给出一个概念：封闭结构 定义3：流程图中，两个结点之间所有没有重复结点的通路组成的结构称为封闭结构。; 如图：封闭结构为 { a - [ b1 - b2 - b3 ; c1 - c2 ; d1 - d2 - d3 ; e ] - f } ;1）不包括多于一个结点的正规子程序，即它是一种不可再分解的正规程序；（程序自身不可视为正规子程序） 2）如果存在封闭结构，封闭结构都是正规程序。 ; 基本程序形式有多种，前面提到的三种基本控制结构（顺序结构、选择结构、循环结构）和两个扩充控制结构（多分支结构、UNTIL循环结构）都是基本程序。 ;定义5： 用以构造程序的基本程序的集合称为基集合。 如：{顺序，if-then-else，while do} {顺序，if-then-else，repeat-until} 都是基集合。 ;定义6：如果一个基本程序的函数结点用另一个基本函数程序替换，产生的新的正规程序称为复合程序。 ; 由于复合程序是由一些基本程序组成，因此，无论从总体上看或是从每个组成部分看，都满足“一个入口，一个出口”的原则，这样的程序就是通常说的好结构程序，或者结构化程序。 ;定义7：由基本程序的一个固定的基集合构造出的复合程序，称为结构化程序。;结构化定理：任一正规程序都可以函数等价于一个由基集合{顺序，If-else-then，While-do}产生的结构化程序