(第讲详细设计 .pptVIP

An Introduction to Database System 瀑布模型 第六章 详细设计 教学的基本要求： 掌握结构程序设计的方法；熟悉过程设计的工具和面向数据结构的设计方法及详细设计的目的和任务。 6.1 结构程序设计 1. 从效率第一到清晰第一 GOTO问题大讨论 Dijkstra 于1965年提出 “在高级语言中取消GOTO语句”，“程序质量与程序中使用的GOTO语句成反比”，从而挑起了程序设计中关于“GOTO”问题的大讨论。“GOTO”问题讨论的焦点是“在高级语言中是否应该取消无条件转移语句GOTO？”。 “GOTO”争论的实质:在程序设计中，到底是良好的程序模块化结构优先还是程序执行效率优先。 2. 结构化控制结构 结构化设计要求的就是单入口和单出口的控制结构以及改善程序的清晰度。 1966年，Boehm和Jacopini等证明了只用顺序、分支、重复3种基本控制结构可以实现任何单入口/单出口的程序。 程序设计两种扩展结构 结构化程序设计工作又作了一些补充和修改： ⑴ 为了方便使用或提高效率，大多数软件开发项目还允许在详细设计中补充使用do_until和do_case两种控制结构。 ⑵ 在多数情况下，当程序执行到满足某种条件时，需要立即从循环中转移出来。如果死抠单出口的原则，则必然使循环重复下去，延长程序的执行时间。 ⑶