程序设计方法学实验教学大纲.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验证选开通过反演变换，对程序进行 转换计算机