课程名称软件测试技术.docVIP

课程名称：软件工程课程实践 课程编码： 课程学分：1 适用专业：软件工程 软件工程课程实践 Software Engineering Course Practice 教学大纲 一、课程性质与任务 本课程是为计算机系软件工程方向硕士研究生同学开设的专业必修课，对培养计算机软件工程专业学生今后从事大型软件开发和测试工作有实际意义。 学生通过本课程的学习后，在概念上建立起基于软件工程工具集来辅助完成软件开发整个过程的思想，理解各辅助工具对软件工程各阶段的辅助作用；掌握一些常用软件工程工具的使用方法，能够应用所学到的软件工程的理论与方法，从事实际软件系统的设计、开发、测试等工作。 二、课程内容及要求 第1章 形式化描述语言LOTOS （一）基本要求 了解：LOTOS形式化描述的目的、作用。 熟悉：LOTOS表达式的语法。 掌握：使用LOTOS语言进行形式化的方法。 （二）教学及考核内容 1.1 LOTOS语言简介 1.2 基本进程表达式 1.3 基本值表达式 1.4 数据类型 1.5 完整的LOTOS形式化描述 第2章 形式化描述的转化工具 （一）基本要求 了解：形式化描述的相关转化工具。 熟悉：相关转换工具的作用、意义。 掌握： CAESAR与CAESAR.ADT工具的使用。 （二）教学及考核内容 2.1 转化工具简介 2.2 形式化行为描述的转化 2.3 形式化数据描述的转化 第3章 状态空间的处理工具 （一）基本要求 了解：状态空间的相关处理工具。 熟悉：状态空间处理工具的作用、意义。 掌握：基于BCG与OPEN/CAESAR的常用状态空间处理工具的使用。 （二）教学及考核内容 3.1 状态空间处理工具简介 3.2 显示状态空间处理工具 3.3 隐式状态空间处理工具 第4章 模型检测工具 （一）基本要求 了解：模型检测的相关工具。 熟悉：模型检测工具的作用、意义。 掌握：XTL、EVALUATOR工具的使用。 （二）教学及考核内容 4.1 模型检测工具简介 4.2 模型检测工具XTL 4.3 模型检测工具EVALUATOR 第5章 组合验证工具 （一）基本要求 了解：组合验证的相关工具。 熟悉：组合验证工具的作用、意义。 掌握：EXP.OPEN、PROJECTOR、SVL工具的使用。 （二）教学及考核内容 5.1 组合验证工具简介 5.2 组合验证工具EXP.OPEN 5.3 组合验证工具PROJECTOR 5.4 组合验证工具SVL 第6章 软件测试工具 （一）基本要求 了解：软件测试的相关工具。 熟悉：软件测试工具的作用、意义。 掌握：TGV工具的使用。 （二）教学及考核内容 6.1 测试工具简介 6.2 测试工具TGV 第7章 性能评估工具 （一）基本要求 了解：性能评估的相关工具。 熟悉：性能评估工具的作业、意义。 掌握：。BCG、DETERMINATOR工具的使用。 （二）教学及考核内容 7.1 性能评估工具简介 7.2 性能评估工具BCG 7.3 性能评估工具DETERMINATOR 三、本课程与其它相关课程的联系与分工 本课程的先修课程为《C语言程序设计》、《软件体系结构》、《软件需求与过程管理》、《软件测试技术》和《现代软件工程》等软件课程。通过上述课程的学习，使学生能够掌握软件开发的基本过程，体会到软件开发中软件的形式化描述、模型检测、组合验证、性能评估、软件测试的重要性。 四、实践环节教学内容的安排与要求 本课程是实践性较强的课程，计划安排上机课时是14学时，课外实验14学时，完成5个上机任务，内容包括：形式化描述转换工具的使用；模型检测工具的使用；组合验证工具的使用；软件测试工具的使用、性能评估工具的使用。通过上机操作，要求学生能针对实际程序与任务，选择正确的软件辅助工具，并得出转换、检测、验证或评估的结果，同时熟悉软件工程辅助工具集CADP的安装与集成环境的使用。 五、本课程课外练习方面的要求 结合个人的兴趣，基于CADP工具集的辅助，完成一个完整的软件设计、开发、测试的过程，并了解其他软件工程工具的使用。 六、本课程在使用现代化教学手段方面的要求 课堂教学和计算机教学相结合，使用投影仪演示教学内容。学生每人一台计算机，自己独立完成上机任务。 七、本课程成绩的考查方法及评定标准 考核方式：平时考核和期末考试。 考核内容： 1、平时包括作业、考勤、上机操作结果，占30%：根据作业中理论知识的准确性、出勤情况、上机操作方法、步骤的合理性和是否能完成指定的实验内容来判断。 2、期末考试占70%：采用闭卷形式考试。 八、教材及参考书 教材： 自编讲义。 参考书： 陈明，软件工程课程实践，清华大学出版社，2009 参考书：Doron A.Peled 著 王林章 等 译, 软件可靠性方法，机械工业出版社