程序设计方法学(一).doc

第一章 综述 一、发展回顾 1、四、五十年代 机器指令、汇编指令、FORTRAN、LISP、ALGOL语言的相继出现，主要用于科学计算。 成就：冯.诺依曼——提出存储程序； 图灵提出自动装置的计算模型——图灵抽象机；奠定了现代计算机的理论基础。 评价标准：指令条数少；存储单元省；执行速度快 2、六，七十年代 1）高级语言相继出现， 编译技术（语言处理程序）成熟，完善，Compiler、OS、DBMS 三大系统软件日趋成熟，解决问题的规模， 复杂性大为增加。 2）软件危机出现 缺乏宏观上研究程序设计方法的重要性的认识。 “程序设计比人们一般想象的远为复杂得多，其复杂程度超出了人类本身的智力、能力范围。” 3）成就： ① 数据结构和算法理论 程序设计 数据结构 + 算法 （Kunth 1971） ② 形式化方法 运用推理、逻辑断言等对程序的正确性进行验证 Floyd断言法（1967） 通过断言（谓词公式）证明框图程序的正确性 Hoare公理化法（1969） 著名的Hoare逻辑 P S Q 。 通过定义一个逻辑系统（含有程序公理及推导规则）证明程序部分/完全正确性 E.D.Dijkstra 1976 最弱前置谓词 WP S,Q S Q 、谓词转换 Gries 综合了以谓词演算为基础的证明系统，提出了“程序设计科学”，将程序设计从经验、技术、技巧升华为科学。 对并行程序 提出了时态逻辑、模态逻辑，刻画安全性、事件性、优先性、并发性等程序性质。 ③ 软件工程化方法——软件开发模型 1968年 北大西洋公约组织 NATO 召开软件工程会议，首次提出用工程化方法解决软件危机。 Dijkstra（1969） 提出”Goto语句”有害论。引起了讨论，导致形成“结构程序设计”的概念、原则、方法。 Pascal语言诞生（Wirth 1971） i ??强调程序结构和风格的良好性 ii ?以良好静态结构，保证程序动态执行的正确性 Wirth（1971） 提出小规模程序设计和大规模程序设计本质的不同，提出了“自顶向下、逐步细化”，“分而治之、面向功能、功能分解”的思想。 Parnas（1971） 提出“信息隐藏”，模块化。 Modula-2 1979 、C（1972）、Ada（1979） Unix OS、SA、SD、JSP等等 3、八、 九十年代 编程不再是主流，构造系统的方法 （即系统的结构、接口、集成）。 网络、分布式共享信息，协同工作。 方法论与工程化 a ?? 结构化程序设计方法 80’s进入全盛时期，比较完备，称为传统方法。关系数据库管理系统（RDBMS）、SQL语言趋于成熟。 传统的软件工程方法： 功能分解法、数据流方法 JSD、信息造型法（E-R模型） b ?面向对象程序设计方法（ O-O方法 ） 1 O-O是程序设计新的规范 从面向过程 面向对象 一系列概念（如：继承、多态、封装……） C/C++、Eiffel、Java、C#（.NET） 2 ?? O-O是信息系统设计的方法论 面向对象分析、设计（OOAD） Coad/Yourdon 面向对象的软件工程 OOSE ， 用例（UseCase 建模 对象建模技术（OMT） G.BOOCH方法 程序设计方法学