第1章 软件测试概述 1
1.1 软件测试简史 1
1.2 软件测试定义 3
1.3 软件测试原则 4
1.4 软件的可测试性 6
1.4.1 可测试性定义与内涵 6
1.4.2 可测试性设计与实现 7
1.4.3 可测试性度量与评估 9
1.5 软件测试模型 9
1.5.1 V模型 9
1.5.2 W模型 10
1.5.3 H模型 11
1.6 软件测试级别与测试类型 12
1.6.1 软件测试级别 12
1.6.2 软件测试类型 13
1.6.3 软件关键等级 16
1.7 软件测试标准规范 18
1.7.1 相关标准概述 18
1.7.2 GB/T 9386—2008《计算机软件测试文档编制规范》 21
1.7.3 GB/T 15532—2008《计算机软件测试规范》 21
1.7.4 GB/T 25000.51—2010《软件工程软件产品质量要求和评价（SQuaRE）商业现货（COTS）软件产品的质量要求和测试细则》 21
1.7.5 ISO/IEC 29119 Software Testing 22
1.8 软件测试人员能力素质要求 26
1.9 术语与缩略语 27
第2章 静态测试技术 29
2.1 文档审查 29
2.1.1 实施要点 30
2.1.2 组织与流程 30
2.1.3 成果形式 31
2.2 代码审查 34
2.2.1 实施要点 34
2.2.2 组织与流程 35
2.2.3 成果形式 35
2.3 静态分析 38
2.3.1 实施要点 38
2.3.2 组织与流程 39
2.3.3 成果形式 40
2.4 代码走查 40
2.4.1 实施要点 40
2.4.2 组织与流程 40
2.4.3 成果形式 41
2.5 静态测试技术分析 41
第3章 动态测试技术 43
3.1 白盒测试 43
3.1.1 概述 43
3.1.2 白盒测试基础 46
3.1.3 基本路径测试 51
3.1.4 控制结构测试 53
3.1.5 其他白盒测试技术 61
3.2 黑盒测试 64
3.2.1 概述 64
3.2.2 等价类划分 65
3.2.3 边界值分析 68
3.2.4 因果图与决策表法 70
3.2.5 组合测试 75
3.2.6 基于场景测试 77
3.2.7 错误推测法 81
3.2.8 黑盒测试技术分析 84
3.3 灰盒测试 85
3.3.1 概述 85
3.3.2 实施步骤 86
3.3.3 灰盒测试技术分析 86
3.4 动态测试技术分析 87
第4章 单元测试 89
4.1 概述 89
4.1.1 单元测试的定义 89
4.1.2 单元测试的目的 89
4.1.3 单元测试的重要性 90
4.2 单元测试原则 92
4.3 单元测试环境 92
4.4 单元测试策略 94
4.4.1 自顶向下 94
4.4.2 自底向上 94
4.4.3 独立单元 95
4.5 单元测试内容 95
4.5.1 功能测试 96
4.5.2 性能测试 96
4.5.3 接口测试 96
4.5.4 局部数据结构测试 96
4.5.5 边界条件测试 97
4.5.6 独立执行路径测试 97
4.5.7 错误处理测试 97
4.6 单元测试方法 98
4.6.1 静态测试 98
4.6.2 动态测试 99
4.7 单元测试用例设计 100
4.8 单元测试过程 101
4.8.1 测试策划 102
4.8.2 静态测试 103
4.8.3 动态测试 111
4.8.4 测试总结 113
第5章 集成测试 114
5.1 概述 114
5.1.1 集成测试的定义 114
5.1.2 集成测试的目的 115
5.1.3 集成测试的重要性 116
5.2 集成测试原则 117
5.3 集成测试环境 117
5.4 集成测试策略 118
5.4.1 大爆炸式集成 119
5.4.2 自顶向下集成 120
5.4.3 自底向上集成 122
5.4.4 三明治式集成 123
5.4.5 核心系统先行集成 124
5.4.6 分层集成 125
5.4.7 基于功能的集成 126
5.4.8 高频集成 127
5.4.9 基于进度的集成 128
5.4.10 基于使用的集成 128
5.4.11 基于风险的集成 129
5.4.12 客户／服务器系统的集成 129
5.5 集成测试内容 130
5.6 测试方法 131
5.6.1 体系结构分析 131
5.6.2 模块分析 131
5.6.3 接口分析 132
5.6.4 可测试性分析 133
5.6.5 集成测试策略分析 133
5.7 集成测试用例设计 133
5.8 集成测试过程 134
5.8.1 测试策划 135
5.8.2 测试设计与实现 137
5.8.3 测试执行 138
5.8.4 测试总结 138
第6章 配置项测试 140
6.1 概述 140
6.1.1 配置项测试的定义 140
6.1.2 配置项测试的目的 140
6.1.3 配置项测试的重要性 141
6.2 配置项测试原则 141
6.3 配置项测试环境 142
6.4 配置项测试策略 143
6.5 配置项测试内容 143
6.6 配置项测试方法 144
6.6.1 功能测试 145
6.6.2 性能测试 146
6.6.3 接口测试 147
6.6.4 人机交互界面测试 148
6.6.5 强度测试 149
6.6.6 余量测试 149
6.6.7 安全性测试 150
6.6.8 恢复性测试 151
6.6.9 边界测试 152
6.6.10 数据处理测试 152
6.6.11 安装性测试 153
6.6.12 容量测试 154
6.7 配置项测试用例设计 154
6.7.1 概述 154
6.7.2 SFME＆FTA综合分析 155
6.7.3 建立软件测试用例设计模式 158
6.7.4 应用实例 159
6.8 配置项测试过程 161
6.8.1 测试策划 162
6.8.2 测试设计与实现 163
6.8.3 测试执行 164
6.8.4 测试总结 164
第7章 系统测试 166
7.1 概述 166
7.1.1 系统测试的定义 166
7.1.2 系统测试的目的 166
7.1.3 系统测试的重要性 167
7.2 系统测试原则 167
7.3 系统测试环境 168
7.4 系统测试策略 168
7.5 系统测试内容 169
7.6 系统测试方法 169
7.6.1 可靠性测试 169
7.6.2 互操作性测试 172
7.6.3 兼容性测试 173
7.7 系统测试用例设计 174
7.7.1 概述 174
7.7.2 系统形式化模型 175
7.7.3 基于模型的系统测试 178
7.7.4 实例 182
7.8 系统测试过程 184
第8章 回归测试 185
8.1 概述 185
8.1.1 回归测试的定义 185
8.1.2 回归测试的目的 186
8.1.3 回归测试的重要性 186
8.2 回归测试策略 187
8.3 软件更动影响域分析方法 187
8.3.1 黑盒测试更动影响域分析 187
8.3.2 白盒测试更动影响域分析 191
8.4 回归测试用例设计 195
8.4.1 回归测试用例设计原则 195
8.4.2 已有测试用例的选取 195
8.5 回归测试过程 198
第9章 面向对象软件测试 200
9.1 面向对象软件简介 200
9.2 面向对象软件测试概述 203
9.2.1 面向对象软件的特点对测试的影响 203
9.2.2 面向对象软件测试和传统测试的不同 204
9.2.3 面向对象软件测试分类 205
9.3 面向对象软件测试模型 205
9.3.1 面向对象分析测试 206
9.3.2 面向对象设计测试 208
9.3.3 面向对象编程测试 208
9.3.4 面向对象单元测试 209
9.3.5 面向对象集成测试 212
9.3.6 面向对象系统测试 215
第10章 FPGA测试 218
10.1 FPGA测试概述 218
10.1.1 可编程逻辑器件的基本概念 218
10.1.2 硬件描述语言的发展历程 219
10.1.3 VHDL语言 219
10.1.4 Verilog HDL语言 220
10.1.5 面向可编程逻辑器件的开发过程 220
10.1.6 可编程逻辑器件软件与传统软件的不同 222
10.1.7 全过程域的可编程逻辑器件测试框架 223
10.2 静态测试 223
10.2.1 文档审查 224
10.2.2 代码审查 227
10.2.3 编码规则检查 229
10.2.4 跨时钟域分析 230
10.2.5 等效性验证 235
10.2.6 静态时序分析 239
10.3 仿真测试 243
10.3.1 仿真测试的特点 244
10.3.2 仿真测试平台的组成 245
10.3.3 仿真测试的流程 245
10.3.4 功能仿真测试 247
10.3.5 门级仿真测试 248
10.3.6 时序仿真测试 248
10.3.7 仿真测试支持工具 249
10.4 软硬协同验证 250
10.4.1 验证环境构成 250
10.4.2 支持工具 251
10.5 板级验证 251
10.5.1 作用 251
10.5.2 板级验证的典型环境 252
10.5.3 板级验证的流程 252
第11章 测试工具 254
11.1 概述 254
11.2 静态测试工具 255
11.2.1 Logiscope 255
11.2.2 PRQA 257
11.2.3 SpyGlass 259
11.2.4 PrimeTime 261
11.2.5 Formalpro 261
11.2.6 其他静态测试工具 262
11.3 动态测试工具 262
11.3.1 QACenter 262
11.3.2 WinRunner 265
11.3.3 JUnit 266
11.3.4 Testbed 268
11.3.5 CodeTest 270
11.3.6 QuestaSim 271
11.3.7 其他动态测试工具 272
11.4 测试管理工具 272
11.4.1 TestCenter 272
11.4.2 TP-Manager 274
11.4.3 其他测试工具 278
第12章 软件测试文档 279
12.1 概述 279
12.2 制定测试计划 280
12.2.1 测试计划内容 280
12.2.2 测试计划模板 281
12.2.3 测试计划常见问题 284
12.3 测试设计与实现 285
12.3.1 测试设计与实现的内容 286
12.3.2 测试说明模板 287
12.3.3 测试设计与实现常见问题 288
12.4 测试执行 290
12.4.1 测试执行的内容 290
12.4.2 测试执行模板 290
12.4.3 测试实施常见问题 292
12.5 测试总结 293
12.5.1 测试总结的内容 293
12.5.2 测试总结模板 294
12.5.3 测试总结常见问题 296
参考文献 298