程序的设计方法学02.pdfVIP

天津师范大学计算机与信息工程学院 硕士研究生课程讲义 程序设计方法学 第二章: 程序设计方法基本理论 2 1 2.1 结构化定理 2.1.1 结构化程序 • 结构化程序设计方法的基本概念 • 流程图程序 • 正规程序 • 基本程序 • 结构化程序 3 结构化程序设计方法的基本概念 主要包括四个方面的课题 • 程序设计方法、程序标记法、程序正确性、程序验证 课题1：程序设计方法 • 指在用计算机程序解决问题过程中比较有效的一般性的 方法，主要包括抽象的层次观念、逐步求精、自顶向下 等。 课题2：程序标记法 • 任何一个语言都是使用符号标记的，其意义和形式对理 解和维护程序十分重要 – 凌乱的程序设计语言有碍于设计思路的清晰 – 结构化程序设计方法学帮助我们简化程序设计过程，确保适合 的控制结构和清晰的数据结构。 4 2 课题3：程序正确性 • 指一个程序和它预期的功能之间是否一致。 • 结构化程序设计方法试图通过证明的方法来达到该目的 – 数学归纳法、形式逻辑、公理化证明等数学工具能应用到证明 过程中 课题4 ：程序验证 • 将程序正确性证明的理论应用到实际环境中去的过程。 – 程序正确程序正确：：语法正确语法正确、、语义正确语义正确，，与特定运行环境相关与特定运行环境相关 即通过程序正确性证明理论的应用， 确定当输入满足某些前提的程序，在 确定的输入预计的结果 执行之后是否能达到我们预计的结果。 课题1、2偏重于程序设计方法的应用，课题3、4偏重于程序设计方法的理论。 本章主要重点介绍结构化程序设计的理论知识。 5 流程图程序 流程图在程序设计中使用的一些问题 • 在使用高级语言进行程序设计中，人们通常先根据需要 解决的问题画出流程图，再围绕流程图进行编码 • 流程图的优点：直观、简单 • 流程图的不足： – 费时费力 – 缺乏度量标准（不容易判断流程图的好坏） – 复杂流程图难于控制 多分支、多页间的返回控制困难 – 流程图强调程序流程的路径而不是程序的逻辑 – 流程图违背了功能依赖性，破坏了局部修正能力。 几个概念： 人们希望将流程图简化，形成一种更简单的流程图 流程图程序、正规程序、 结构。从而提高程序设计效率和程序的正确率。 基本程序、结构化程序。 6 3 流程图程序的定义 • 用一种图形语言来写程序，这样的程序称为流程图程序 – 理论上，任何一个程序都可以用流程图描述 – 流程图程序是程序一种比较直观的表现形式 流程图程序的组成 f P 1) 处理单元(Process Box) (a) (b)