00.课程教学大纲.pptVIP

软 件 工 程 课 程 教学大纲 课程适用范围 本课程适用于计算（机）学科所有子学科（计算机科学、计算机工程、软件工程、信息系统和信息技木）的大学研究生、本科和专科学生的教学。本课程也适用于从事软件产业和职业的技术和管理人员的教学。 本章内容安排 课程性质 课程目的 课程要求 相关课程 课程的主要内容 课程实践 其它问题 课程性质 《软件工程》是计算（机）各专业的核心（必修）课，具有很高的科学性、工程性、综合性和实践性 课程目的 - 介绍如何运用工程学的原理和方法来组织和管理软件的开发、运行和维护 - 保证软件产品开发、运行和维护的高质量和高生产率 课程要求 系统地了解软件工程目前发展的水平和 现状 初步掌握软件工程的有关原理和方法 为今后深入学习和工作打下一个良好的 基础 相关课程 前修课程 高等数学、线性代数、概率与统计 离散数学、算法与数据结构 计算机硬件基础 操作系统、程序设计语言、数据库 后修课程 毕业论文/设计 课程主要内容：5篇10章 5篇： 1 软件、软件工程和软件工程模式 2 软件开发方法 3 质量与质量保证 4 计划与管理 5 工具与环境 10章： 第1篇 软件、软件工程与软件工程模式 第1章 软件和软件工程 软件的含义 软件的特点 软件的种类 软件危机 软件工程的定义 软件工程的发展和问题 第2章 软件工程模式 第2篇 软件开发方法（重点） 第3章 结构化(传统)开发方法 需求与需求分析 结构化分析 软件设计 面向数据流的设计 面向数据结构的设计 PAD图的设计 原型开发 第4章 面向对象开发方法（重点） 面向对象方法的发展 面向对象方法的基本概念 面向对象的分析与设计 Booch的面向对象方法 OMT对象建模技术 统一建模语言UML Rational统一过程RUP 实例：课程登记系统 第5章 形式化开发方法(1) 自学 形式化方法的定义、特点、分类和问题 Petri网 示例-四季系统Σ Petri网的定义 Petri网的基本原理-静态结构 Petri网的基本原理-动态特征 建模实例 特性分析 Petri网的特性分析方法 改进Petri网及其应用 时间网和随机网 从Petri网到程序结构的转换 实例:应用Petri网实现资源共享 第5章 形式化开发方法(2) 自学 时态逻辑 时态逻辑 线性逻辑 计算树逻辑 模型验证 第5章 形式化开发方法(3) 自学 Z （一） 概述 （二） 表示抽象 （1） 集合、关系及函数 （2） 序列和包 （3） 自由类型 （4） 公理描述 （5） 模式 （三） 操作抽象 （1）模式运算及合成 （2）通用式函数 （四） Z规格实例 （1）图书馆数据库管理 （2）自动售货机 第3篇 质量与质量保证 软件质量的意义和定义 软件质量因素 软件质量保证的策略和活动 技术方法的选用 正式技术评审的实施 第7章 软件测试 结构化软件测试 一、软件测试的目标 二、软件测试的原则 三、测试用例设计 四、软件测试的过程和步骤 五、纠错技术 面向对象软件测试 一、评审(OOA，OOD) 二、测试 三、测试用例设计 软件测试计划和软件分析报告 一、软件测试计划 二、软件分析报告 实例：微软测试工作简介 第8章 软件维护 软件维护的分类 软件维护的特点 软件的可维护性 软件的维护任务 软件维护的副作用 第4篇 计划与管理 第9章 软件开发计划与管理 软件的目的和范围 资源 成本估算 风险分析与管理 进度安排与跟踪 软件项目组 项目计划 第5篇 工具与环境 第10章 软件开发工具与环境 软件开发工具 软件开发环境 计算机辅助软件工程CASE 实例：Ada编程支持环境 课程实践 课程实践的重要性 所有课程都应包含课堂（Theory）、实验（Abstraction）和工程（Design）教学的三个过程，对本课程尤为重要。所以除上述的课堂理论教学以外，还必须按排实践教学 课程实践的要求应有三方面的内容 编程语言应用和掌握 软件开发基本原理和方法的应用和掌握 团队工作、沟通技巧和职业道德方面的训练 课程实践的做法 可根据不同的内容和要求，安排几门专门的实践课程来完成 其它问题 学时数 计划学时60课时（授课45，实践15） 教材的使用 根据IEEE-CS/ACM CC2001、IEEE（2001）和CMU/SEI（1999）SWEBOK及长期的教学和科研工程成果，在软件工程(第一版（1997）)的基础上修编而