目录 1
第1章 软件质量简述 1
1.1 软件工程的挑战 1
1.2 软件的失败史 3
1.3 软件质量的背景 4
1.3.1 什么是软件质量 4
1.3.2 早期的质量管理 5
1.3.3 全面质量管理 5
1.3.4 软件质量控制 6
1.4 质量的历史 7
1.4.1 Shewhart 7
1.4.2 Deming 8
1.4.3 Juran 10
1.4.4 Crosby 12
1.4.5 其他质量专家 15
1.5 软件工程 16
1.5.1 需求分析 17
1.5.2 规范 18
1.5.3 设计 19
1.5.4 实施 19
1.5.5 测试 19
1.5.6 维护 21
1.6.1 软件审查 23
1.6 现代软件质量管理 23
1.6.2 软件测试 24
1.6.3 软件质量保证 25
1.6.4 问题求解 26
1.6.5 建模 27
1.6.6 质量的成本 28
1.6.7 过程改进 28
1.6.8 度量 30
1.6.9 客户满意度 30
1.6.10 评估 33
1.6.11 全面质量管理 33
1.7.2 组织的文化及其变革 35
1.7 其他 35
1.7.1 软件质量的未来 35
1.7.3 疏忽法则 36
1.7.4 形式方法 36
1.7.5 质量和WEB 37
1.8 本书结构 38
第2章 软件审查和测试 39
2.1 Fagan审查概述 39
2.2 软件审查方法论 41
2.4 半正式评审会议 42
2.3 E-Mail/Fax（电子邮件／传真）评审 42
2.4.1 评审会议清单——评审指导 43
2.4.2 评审备忘录模板 44
2.5 Fagan审查法 45
2.5.1 Fagan审查方针 47
2.5.2 审查者和角色 48
2.5.3 审查进入标准 48
2.5.4 准备 49
2.5.5 审查会议 49
2.5.7 问题的严重性 51
2.5.6 审查退出标准 51
2.5.8 缺陷类型 52
2.6 软件测试 54
2.6.1 测试计划 55
2.6.2 测试过程 57
2.6.3 测试工具 61
2.6.4 电子商务测试 63
2.6.5 测试和质量改进 65
2.6.6 需求可追踪性 67
2.6.7 需求追踪矩阵 68
2.7 小结 68
3.1 简介 69
第3章 ISO 9000标准 69
3.1.1 ISO 9000的动机 70
3.1.2 ISO 9000和质量组 70
3.2 ISO 9000∶1994版 71
3.3 ISO 9000∶2000版 74
3.4 实施ISO 9000∶2000 77
3.4.1 质量管理体系条款 82
3.4.2 管理职责条款 84
3.4.3 资源管理条款 87
3.4.4 产品或服务实现 89
3.4.5 度量、分析和改进 94
3.5.1 自我评估过程 98
3.5 ISO 9000和改进 98
3.5.2行动计划 99
3.6 ISO 9000认证过程 100
3.7 小结 101
第4章 能力成熟度模型 103
4.1 简介 103
4.1.1 CMM的动机 104
4.1.2 CMM和质量组 105
4.2 CMM概述 106
4.3 CMM的体系结构 109
4.1.1 初始级 112
4.4 CMM成熟度级别 112
4.4.2 可重复级 113
4.4.3 已定义级 116
4.4.4 已管理级 118
4.4.5 优化级 120
4.5 实现CMM 121
4.6 CMM内部评估 123
4.7 CMM外部评估 125
4.7.3 评估报告 127
4.8 世界范围内的CMM成熟度 127
4.7.2 实施评估 127
4.7.1 评估计划 127
4.9 CMMI项目 129
4.9.1 CMMI分级模型 130
4.9.2 CMMI连续模型 132
4.10 小结 135
第5章 SPICE（15504）标准 136
5.1 简介 136
5.1.1 SPICE的动机 136
5.1.2 SPICE和质量组 137
5.2 SPICE概述 138
5.3 过程管理 140
5.4 SPICE参考模型 141
5.5 SPICE过程 145
5.5.1 客户-供应商过程类型 145
5.5.2 工程过程类型 146
5.5.3 管理过程类型 147
5.5.4 支持过程类型 148
5.5.5 组织过程类型 149
5.6 样品模型 150
5.7 SPICE评估 151
5.7.1 评估的计划 152
5.7.3 过程评级 154
5.7.2 数据搜集和确认 154
5.7.4 评估报告 155
5.8 过程能力鉴定 155
5.9 SPICE和过程改进 157
5.10 SPICE的实施 160
5.11 SPICE的评论分析 160
5.12 小结 161
第6章 度量和问题求解 163
6.1 简介 163
6.2 目标问题度量模式 164
6.3 平衡记分卡 165
6.4 组织的度量 167
6.4.1 客户满意度度量 168
6.4.2 过程改进度量 169
6.4.3 人力资源和培训度量 170
6.4.4 项目管理度量 172
6.4.5 开发质量度量 173
6.4.6 质量审核度量 175
6.4.7 客户关心度量 177
6.4.8 其他度量 179
6.5 实施度量程序 179
6.6 问题求解技术 182
6.6.1 鱼骨图 183
6.6.2 柱状图 184
6.6.3 Pareto图 185
6.6.4 走势图 187
6.6.5 散点图 187
6.6.6 度量和统计过程控制 188
6.7 小结 189
第7章 形式方法和设计 190
7.1 简介 190
7.2 软件配置管理 193
7.3 统一建模语言 195
7.4 软件可用性 199
7.4.2 ISO 9241 200
7.4.1 可用性标准 200
7.4.3 ISO 13407 201
7.4.4 可用性设计 202
7.5 形式方法 203
7.5.1 为什么要使用形式方法 205
7.5.2 形式方法的应用 206
7.5.3 形式方法和复用 207
7.5.4 形式方法的工具 207
7.5.5 面向模型的方法 208
7.5.6 公理化方法 209
7.5.7 维也纳开发方法（VDM） 210
7.5.8 VDM，爱尔兰VDM学派 211
7.5.9 Z规范语言 213
7.5.10 B方法 215
7.5.11 命题演算和谓词演算 216
7.5.12 谓词变换程序和最弱前置条件 217
7.5.13 过程演算 217
7.5.14 其他规范语言 218
7.5.15 证明和形式方法 219
7.6 小结 220
参考 221
缩语表 227