PDF《C225SE：《软件构造》课程描述》

南京大学软件工程专业本科教程――附录 B:专业基础/核心课程描述 附录 B 第67 页C225SE:《软件构造》课程描述

0 课程基本信息 课程编号: C225SE 课程名称: 软件构造 英文名称: Software Construction 英文简称: SC 预备课程: 离散数学、计算与软件工程 I、数据结构与算法、计算与软件工程 II、操作系统 授课时间: 二年级第二学期 时间分配: 课堂教学(48 课时) +实验安排(48 课时)+课后作业与阅读(48 课时) 学分数:

3 1 课程简介 本课程是软件工程专业的专业核心课程.

课程内容既包括软件构造的一般原则(模块设计、 代码重用、类设计等)和软件构造的常用技巧(契约式设计、防御式编程、异常处理、配置式编 程、基于状态转移和基于表的软件设计、基于语法分析的设计等) ,又包括软件构造的形式化方法 (规范说明语言及其应用、形式化构造工具) ,还包括软件构造工作的执行要点(编码及其规范、 工具使用、单元测试技巧、性能优化等) .

2 教材与参考资料 2.1 教材与指定阅读材料 1) Steve McConnell,代码大全(第二版) ,电子工业出版社 2) Andrew Hunt, David Thomas,程序员修炼之道-从小工到专家,电子工业出版社 2.2 参考资料 1) Bertrand Meyer,面向对象软件构造(英文 第二版) ,机械工业出版社 2) 软件构造课程网站: http://cs.gmu.edu/~pammann/619-sched.html http://www.site.uottawa.ca/~bochmann/SEG2106/index.html http://mahler.CSE-unsw.edu.au/webcms//course/index.phtml?cid=1492 http://sewiki.iai.uni-bonn.de/teaching/lectures/oosc/2008/schedule

3 教学目标 完成这门课程以后,学生应具有以下的能力: 1) 了解软件构造的基本思想、方法和技术,能够应用各种基础的软件代码开发技术和工具 进行软件系统构造;

2) 掌握规范说明语言与方法的应用,能为底层软件模块创建简单的形式规范,检查规范的 有效性,并用适当工具从规范直接生成代码;

3) 理解形式化软件构造方法,能够设计面向简单应用的语言和协议,并使用恰当工具为语 言和协议生成代码;

4) 掌握高效的软件构造方法,能够应用防御性程序设计应对编码以及实际应用中可能存在 的错误及异常情况,实现高质量软件构造过程;

5) 理解并发软件设计,利用互斥机制使用资源,为顺序访问可重用资源制定规则(包括线 南京大学软件工程专业本科教程――附录 B:专业基础/核心课程描述 附录 B 第68 页 程和数据库加锁) .

4 相关知识体系 编号 描述 k, c, a E, D, O 学时 SEF-SC.ct.0 软件构造技术

21 SEF-SC.ct.1 API 设计和使用 a E

2 SEF-SC.ct.2 代码重用和代码库 a E

2 SEF-SC.ct.3 面向对象运行时问题 a E

1 SEF-SC.ct.4 参数化和泛化 a E

1 SEF-SC.ct.5 断言、基于合同的设计、防御性程序设计 a E

2 SEF-SC.ct.6 错误处理、异常处理和容错 a E

3 SEF-SC.ct.7 基于状态和表格驱动的代码开发技术 a E

2 SEF-SC.ct.8 运行时配置和国际化 c E

2 SEF-SC.ct.9 基于语法的输入处理(语法分析) a E

1 SEF-SC.ct.10 并发原语(例如信号量、管程等) a E

1 SEF-SC.ct.14 性能分析和调优 k E

2 SEF-SC.ct.15 平台标准(Posix 等) k D

1 SEF-SC.ct.16 测试优先的程序设计 k D

1 SEF-SC.tl.0 构造工具

4 SEF-SC.tl.1 开发环境 a E

1 SEF-SC.tl.3 单元测试工具 a E

1 SEF-SC.tl.4 面向应用的语言(如脚本语言、可视化语言、特定 领域语言、标记语言、宏语言等) c E