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

同步与通信;

基于平台的代码设计(Windows 编程、 POSIX 标准)

2 SEF-SC.ct.10 SEF-SC.ct.15

9 代码的测试与调试 单元测试;

性能分析和调优;

特殊测试工具 的使用(剖面、切片)

6 SEF-SC.ct.14 SEF-SC.tl.3 SEF-SC.tl.5 SEF-VV.tst.1

10 构造管理 项目大小对构造过程的影响;

版本控制策略 及工具

1 11 形式语言基础 状态机;

正则表达式;

BNF 范式等

4 MEP-MF.df.1~2 SEF-MA.md.1~3

12 规范说明语言 SDL 系统结构;

语法;

系统行为描述(触 发事件、进程创建、过程调用) ;

定时操作;

注释;

数据定义等

4 MEP-MF.fm.1~2 SEF-MA.md.1~3

13 规范说明语言的应用 从规范说明自动生成代码;

程序导出;

候选 实现分析;

将规范说明映射到不同实现;

细化;

正确性证明

8 MEP-MF.fm.3~8 SEF-MA.md.1~3

7 实验 7.1 实验目标 1) 使学生掌握软件构造方法与技巧的使用;

2) 使学生掌握软件构造的工具使用;

3) 使学生深入理解形式化技术. 7.2 实验内容 实验一:要求学生在规定时间内,使用多种软件构造方法与技巧完成一组指定的程序设计任 务;

实验二:要求学生使用指定的软件构造工具,对已有的程序源代码进行分析和优化调整;

实验三:指定一个简易的形式化描述语言,要求学生构造一个解析语言的工具. 7.3 实验组织 实验一和实验二以个人为单位.实验三以小组为单位,3~4 人一组. 7.4 实验报告 实验一和实验二要求学生提交高质量的程序代码.实验三要求学生提交一个有效的程序,并 完成一个项目总结报告.

8 课后作业 课后作业应该包含: 南京大学软件工程专业本科教程――附录 B:专业基础/核心课程描述 附录 B 第71 页1) 要求学生了解软件构造工作的实践现状及其不足,了解常用软件构造技术的实践应用情 况;

2) 要求学生了解软件构造技术的分布及其工具支持情况;

3) 要求学生更深入的了解形式化技术及其在软件工程中的应用情况;

4) 完成一些小的习题: a) 分析简单的代码段,找出问题并加以改正;

b) 按照指定的编码规范,分析简单的代码段,找出不规范的地方并加以改正;

c) 分析简单的代码段,进行优化处理;

d) 为简单的需求建立形式化描述.

9 评分体系 笔试*60%+实验*30%+课后作业*10%