软件工程

第1章 软件危机与开发过程1.1 软件危机1.2 基本的软件开发活动1.3 软件开发模型1.3.1 瀑布模型1.3.2 统一过程模型1.3.3 极限编程模型本章总结思考练习第2章 需求工程2.1 需求的种类2.2 需求工程2.2.1 需求获取2.2.2 需求分析2.2.3 需求规格化2.2.4 需求确认2.3 需求管理本章总结思考练习第3章 面向对象软件开发3.1 业务建模3.1.1 用户需求3.1.2 用例建模3.1.3 领域建模3.2 面向对象分析3.2.1 对象分析3.2.2 软件架构3.2.3 用例实现3.3 面向对象设计3.3.1 用户界面3.3.2 数据存储3.4 面向对象实现3.4.1 类3.4.2 继承关系3.4.3 连接关系3.4.4 接口实现3.5 目标导向用例3.5.1 确认角色3.5.2 确认目标3.5.3 建立用例模型3.5.4 评估目标本章总结思考练习第4章 软件设计4.1 软件设计概论4.1.1 抽象化4.1.2 模块化4.1.3 内聚性4.1.4 耦合性4.2 架构设计4.3 软件设计策略与方法4.3.1 通用策略4.3.2 面向功能设计4.3.3 面向对象设计4.3.4 面向对象设计流程4.4 软件设计规则4.4.1 软件设计步骤4.4.2 软件设计文档4.5 高级软件设计4.5.1 设计模式4.5.2 面向服务架构本章总结思考练习第5章 软件项目计划与管理5.1 项目计划书5.2 项目范围5.2.1 项目初始5.2.2 范围规划5.2.3 项目范围的验证及变更控制5.3 项目日程安排5.3.1 项目日程计划5.3.2 项目日程控制5.4 项目成本管理5.4.1 成本预估5.4.2 成本预算与控制5.5 资源管理5.5.1 人才招聘5.5.2 人员管理5.5.3 团队管理5.6 风险5.6.1 风险分析5.6.2 风险控制5.7 项目监控5.7.1 项目监督5.7.2 项目控制5.8 项目的其他计划本章总结思考练习第6章 软件测试6.1 软件测试的基本概念6.1.1 验证与确认6.1.2 软件测试的基础6.2 软件测试规则6.2.1 软件测试步骤6.2.2 软件测试计划书6.3 软件静态分析6.3.1 静态分析的方法6.3.2 评审会议6.3.3 审查评估6.4 软件动态测试方法6.4.1 测试用例设计方法简介6.4.2 测试覆盖性6.4.3 基本路径测试6.4.4 逻辑条件测试6.4.5 数据流测试6.4.6 循环测试6.4.7 等价划分法6.4.8 边界值分析法6.4.9 因果图6.5 软件动态测试策略6.5.1 单元测试6.5.2 集成测试6.5.3 系统测试6.5.4 安全测试6.5.5 性能测试6.5.6 烟雾测试6.5.7 验收测试本章总结思考练习第7章 软件质量管理与保证7.1 软件质量管理7.1.1 质量规划7.1.2 质量控制7.1.3 质量保证7.2 软件质量保证7.2.1 sqa角色与工作7.2.2 软件质量保证规划7.2.3 软件质量保证执行7.2.4 软件质量保证结果与追踪7.3 运用质量模型提升软件质量本章总结思考练习第8章 软件配置管理8.1 配置管理计划与配置识别8.2 软件基线设置8.3 软件配置控制8.4 软件配置状态记录8.5 软件配置核实本章总结思考练习第9章 软件工程的形式方法论9.1 形式方法的基本概念9.1.1 形式方法的定义9.1.2 形式语言与形式规范语言9.1.3 形式方法的软件开发周期9.2 形式化规范技术的分类9.2.1 代数式规范方法9.2.2 基于模型的规范方法9.3 软件工程的数学理论9.4 形式化规范语言9.4.1 z语言9.4.2 object-z语言9.4.3 对象约束语言9.5 形式规范语言与非形式规范语言的整合本章总结思考练习第10章 软件过程改进10.1 以模型为基础的过程改进10.2 cmmi的历史演变10.3 cmmi概述10.4 过程领域介绍10.4.1 过程管理类相关过程领域10.4.2 项目管理类相关过程领域10.4.3 工程类相关过程领域10.4.4 支持类相关过程领域本章总结思考练习附录a 软件工程个案研究——需求管理a.1 投票系统简介a.2 开发单位开发背景概况a.3 开发过程的导入a.3.1 新项目——系统开发过程a.3.2 维护系统或进行中项目的需求变更流程a.3.3 维护系统需求扩建——系统开发流程a.3.4 文件汇总a.3.5 需求变更管理a.4 新投票系统的开发附录b 词汇对照表参考文献