软件工程演示课件第6章节.ppt

西南交通大学信息科学与技术学院 * * 第六章 详细设计 软件工程 （Software Engineering） Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 详细设计 根本目标:确定应该怎样具体地实现所要求的目标，即对目标系统的精确描述。 根本任务:为软件结构中的每个模块选择算法和块内数据结构，并用选定的某种表达工具给出清晰的描述。 详细设计结果基本上决定了最终的程序代码的质量。 衡量程序的质量，不仅要看其逻辑上是否正确，性能是否满足要求，更主要的是看其是否容易阅读和测试。 详细设计的目标不仅仅是逻辑上正确地实现每个模块的功能，更重要的是设计出的处理过程应该尽可能简明易懂。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 结构化程序设计 1965年最早由E.W.Dijkstra提出：“可以从高级语言中取消goto语句，程序的质量与程序中所包含的goto语句的数量成反比”。 1966年，Bohm和Jacopini证明了，只用“顺序”(Sequence)、“选择”(Condition Select)和“循环”(Repetition)三种基本的控制结构就能实现任何单入口单出口的程序。 1972年，IBM公司的Mills进一步提出，程序应该只有一个入口和一个出口。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 结构化程序设计 结构程序设计是按照一组能提高程序的可读性和易维护性的规则而进行的程序设计方法，目的是为了使程序具有一种合理的结构，以使程序易理解和维护，便于保证和验证程序的正确性。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 结构化程序设计追求的目标 可理解性：程序正确性证明的关键是可理解性。程序正确性证明并非指从公理出发的形式推导，而是指任何一种有足够说服力的证明（形式的或非形式的），其实是一种理解。 易维护性：测试只能证明错误存在，而不能证明错误不存在。因此测试后投入运行的软件很可能还有错误。在运行阶段要不断发现并改正错误。此外，用户还会不断提出新的要求，系统的操作系统也可能发生变化。故投入运行的软件需要不断修改、扩充，即需要维护。软件的易维护性一般包括易阅读、易发现和改正错误、易修改扩充等含义。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 结构化程序设计的核心内容 一、自顶向下、逐步求精的设计方法。 1、软件结构设计的自顶向下、逐步求精的设计方法 把待开发的软件系统看作一个实体。首先把这个实体分解成相互独立的几大功能，每个功能又可分解成逻辑上独立的子功能，子功能又可再分解成更小的子功能。直到每个子功能都能非常明确地用什么算法去实现为止。 2、模块算法设计的自顶向下、逐步求精方法。 把模块解决问题的求解方案分解为若干步抽象的计算操作，并用一种描述工具按控制结构把这些抽象的计算操作描述出来。对算法包含的抽象计算操作又可进一步精细化，如此循序渐进，每一次的求精，使抽象的计算操作得到更进一步精细，计算操作越来越明确，逐步向程序形式靠近。如此下去，直到算法中包含的主要计算操作都能用伪代码表达为止。 3、自顶向下的程序验证。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 结构化程序设计的核心内容 二、使用三种基本控制结构来构造程序 1、任何程序