程序设计方法学实验教学大纲.docx

程序设计方法学实验教学大纲一'课程名称：程序设计方法学
二' 实验目的和任务：
本课程主要介绍程序设计方法学的科学理论、方法和实现技术。即结构化程 序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程 序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学 基础等。
培养学生运用这些理论和方法，从认识规律出发训练各种良好的程序设计习 惯，掌握到目前为止公认为成熟的有实用价值的具有完整科学理论和与之相关的 技术方法作指导的软件设计和开发技术。
三' 实验类别：专业四、 学时数：18
五' 面向专业及对象：信息管理与信息系统六、使用教材：
教 材：胡正国，程序设计方法学，北京：国防工业出版社，2007。
参考书：
[1]陈海波等，《新编程序设计方法学》，浙江：浙江大学出版社，2004。
[2]冯树椿等，《程序设计方法学》，浙江：浙江大学出版社，1987。
[3]李传湘，《程序设计方法学》，武汉：武汉大学出版社，1999。
七' 考核方式：实验操作八' 实验工程：
序号
实验工程名称
学时 分配
实验 属性
必开 选开
目的要求
主要仪器
1
逐步求精的程序 设计方法
2
验证
必开
按照结构程序设计的思想， 掌握逐步求精的程序设计 方法
计算机
2
结构化程序设 计
2
验证
必开
掌握结构化程序设计的特 征，进行结构化程序设计
计算机
3
程序正确性证明
（一）
2
验证
必开
掌握白盒测试技术
计算机

4
程序正确性证明
（二）
2
验证
必开
掌握黑盒测试技术
计算机
5
程序正确性证明
（三）
2
验证
必开
利用某一程序正确性证明 方法，对程序进行正确性证 明
计算机
6
结构化程序的正 确性证明
2
验证
必开
编写程序，对其进行正确性 证明
计算机
7
递归程序设计
2
设计
必开
掌握递归程序及其正确性 证明方法，编写递归程序。
计算机
8
程序的形式推导 技术
2
设计
必开
掌握程序的形式推导技术， 编写程序
计算机
9
程序变换技术
（一）
2
验证
选开
通过Cooper变换，对程序 进行转换
计算机
10
程序变换技术
（二）
2
验证
选开
通过反演变换，对程序进行 转换
计算机