第1章 软件危机与开发过程 1
1.1 软件危机 1
1.2 基本的软件开发活动 3
1.3 软件开发模型 4
1.3.1 瀑布模型 4
1.3.2 统一过程模型 5
1.3.3 极限编程模型 8
本章总结 10
思考练习 10
第2章 需求工程 11
2.1 需求的种类 11
2.2 需求工程 13
2.2.1 需求获取 13
2.2.2 需求分析 15
2.2.3 需求规格化 22
2.2.4 需求确认 23
2.3 需求管理 24
本章总结 25
思考练习 25
第3章 面向对象软件开发 26
3.1 业务建模 26
3.1.1 用户需求 27
3.1.2 用例建模 27
3.1.3 领域建模 32
3.2 面向对象分析 34
3.2.1 对象分析 34
3.2.2 软件架构 34
3.2.3 用例实现 35
3.3 面向对象设计 41
3.3.1 用户界面 41
3.3.2 数据存储 44
3.4 面向对象实现 46
3.4.1 类 46
3.4.2 继承关系 47
3.4.3 连接关系 47
3.4.4 接口实现 48
3.5 目标导向用例 49
3.5.1 确认角色 50
3.5.2 确认目标 50
3.5.3 建立用例模型 51
3.5.4 评估目标 55
本章总结 59
思考练习 60
第4章 软件设计 64
4.1 软件设计概论 64
4.1.1 抽象化 65
4.1.2 模块化 66
4.1.3 内聚性 67
4.1.4 耦合性 69
4.2 架构设计 70
4.3 软件设计策略与方法 74
4.3.1 通用策略 74
4.3.2 面向功能设计 75
4.3.3 面向对象设计 77
4.3.4 面向对象设计流程 79
4.4 软件设计规则 80
4.4.1 软件设计步骤 80
4.4.2 软件设计文档 80
4.5 高级软件设计 81
4.5.1 设计模式 81
4.5.2 面向服务架构 84
本章总结 86
思考练习 87
第5章 软件项目计划与管理 88
5.1 项目计划书 88
5.2 项目范围 89
5.2.1 项目初始 90
5.2.2 范围规划 90
5.2.3 项目范围的验证及变更控制 92
5.3 项目日程安排 93
5.3.1 项目日程计划 93
5.3.2 项目日程控制 97
5.4 项目成本管理 99
5.4.1 成本预估 99
5.4.2 成本预算与控制 102
5.5 资源管理 103
5.5.1 人才招聘 103
5.5.2 人员管理 104
5.5.3 团队管理 105
5.6 风险 107
5.6.1 风险分析 108
5.6.2 风险控制 109
5.7 项目监控 110
5.7.1 项目监督 110
5.7.2 项目控制 111
5.8 项目的其他计划 113
本章总结 114
思考练习 115
第6章 软件测试 116
6.1 软件测试的基本概念 116
6.1.1 验证与确认 117
6.1.2 软件测试的基础 118
6.2 软件测试规则 121
6.2.1 软件测试步骤 121
6.2.2 软件测试计划书 123
6.3 软件静态分析 125
6.3.1 静态分析的方法 126
6.3.2 评审会议 128
6.3.3 审查评估 131
6.4 软件动态测试方法 132
6.4.1 测试用例设计方法简介 133
6.4.2 测试覆盖性 135
6.4.3 基本路径测试 138
6.4.4 逻辑条件测试 141
6.4.5 数据流测试 141
6.4.6 循环测试 142
6.4.7 等价划分法 143
6.4.8 边界值分析法 145
6.4.9 因果图 146
6.5 软件动态测试策略 149
6.5.1 单元测试 149
6.5.2 集成测试 152
6.5.3 系统测试 156
6.5.4 安全测试 158
6.5.5 性能测试 158
6.5.6 烟雾测试 160
6.5.7 验收测试 161
本章总结 161
思考练习 162
第7章 软件质量管理与保证 165
7.1 软件质量管理 165
7.1.1 质量规划 166
7.1.2 质量控制 167
7.1.3 质量保证 168
7.2 软件质量保证 168
7.2.1 SQA角色与工作 169
7.2.2 软件质量保证规划 169
7.2.3 软件质量保证执行 170
7.2.4 软件质量保证结果与追踪 171
7.3 运用质量模型提升软件质量 171
本章总结 173
思考练习 173
第8章 软件配置管理 174
8.1 配置管理计划与配置识别 175
8.2 软件基线设置 177
8.3 软件配置控制 179
8.4 软件配置状态记录 180
8.5 软件配置核实 180
本章总结 181
思考练习 182
第9章 软件工程的形式方法论 183
9.1 形式方法的基本概念 183
9.1.1 形式方法的定义 184
9.1.2 形式语言与形式规范语言 184
9.1.3 形式方法的软件开发周期 185
9.2 形式化规范技术的分类 186
9.2.1 代数式规范方法 187
9.2.2 基于模型的规范方法 187
9.3 软件工程的数学理论 188
9.4 形式化规范语言 191
9.4.1 Z语言 191
9.4.2 Object-Z语言 196
9.4.3 对象约束语言 198
9.5 形式规范语言与非形式规范语言的整合 202
本章总结 203
思考练习 204
第10章 软件过程改进 205
10.1 以模型为基础的过程改进 206
10.2 CMMI的历史演变 207
10.3 CMMI概述 210
10.4 过程领域介绍 215
10.4.1 过程管理类相关过程领域 215
10.4.2 项目管理类相关过程领域 215
10.4.3 工程类相关过程领域 216
10.4.4 支持类相关过程领域 216
本章总结 217
思考练习 217
附录A 软件工程个案研究——需求管理 218
A.1 投票系统简介 218
A.2 开发单位开发背景概况 219
A.3 开发过程的导入 221
A.3.1 新项目——系统开发过程 223
A.3.2 维护系统或进行中项目的需求变更流程 226
A.3.3 维护系统需求扩建——系统开发流程 228
A.3.4 文件汇总 229
A.3.5 需求变更管理 230
A.4 新投票系统的开发 230
附录B 词汇对照表 235
参考文献 246