第一章 软件测试基础 1
本章目标 1
1.1 简介 1
1.2 软件测试概述 3
1.2.1 相关术语 4
1.2.2 对测试的误解 6
1.2.3 软件测试的目标 8
1.2.4 挑战和问题 11
1.3 实施有效的软件测试 13
1.4 软件测试类型 15
1.5 软件测试原则 20
1.6 测试与调试 21
1.7 小结 26
习题 27
参考文献 30
相关链接 33
第二章 软件可测试性 34
本章目标 34
2.1 简介 34
2.2 可测试性的定义 36
2.3 提高可测试性的要素 37
2.3.1 内部要素 37
2.3.2 外部要素 39
2.3.3 环境要素 40
2.4 可测试性等级 41
2.5 可测试性评价 43
2.6 可测试性分析 45
2.6.1 可测试性设计 46
2.6.2 可测试性增强 46
2.7 可测试性的综合考虑 47
2.8 可测试性与面向对象软件质量 49
2.8.1 质量要素 49
2.8.2 设计特征 49
2.8.3 质量要素与设计特征的关系 50
2.9 小结 50
习题 53
参考文献 54
相关链接 58
第三章 静态测试 59
本章目标 59
3.1 简介 59
3.2 静态测试的原则 61
3.3 静态测试方法分类 62
3.3.1 一般方法 63
3.3.2 静态测试分类 64
3.4 人工测试技术 65
3.4.1 走查 66
3.4.2 正式评审 69
3.4.3 审查 72
3.5 自动测试技术 76
3.5.1 语法分析器 76
3.5.2 静态验证 77
3.5.3 符号执行 77
3.6 静态测试与动态测试的比较 77
3.7 小结 79
习题 80
参考文献 82
相关链接 84
第四章 黑盒测试 85
本章目标 85
4.1 简介 85
4.2 黑盒测试技术 87
4.3 等价类划分法 90
4.3.1 范围和前景 90
4.3.2 测试用例生成 91
4.4 边界值分析法 92
4.4.1 范围和前景 92
4.4.2 测试用例生成 93
4.5 健壮性测试 93
4.5.1 范围和前景 94
4.5.2 测试用例生成 95
4.6 语法测试 95
4.6.1 范围和前景 95
4.6.2 测试用例生成 96
4.7 有穷状态测试 97
4.7.1 范围和前景 97
4.7.2 测试用例生成 97
4.8 小结 98
习题 99
参考文献 101
相关链接 103
第五章 白盒测试 104
本章目标 104
5.1 简介 104
5.2 白盒测试技术 107
5.3 白盒建模 108
5.4 基本路径测试 116
5.4.1 范围和前景 116
5.4.2 测试用例生成 117
5.5 控制结构测试 118
5.5.1 范围和前景 118
5.5.2 测试用例生成 118
5.6 变异测试 124
5.6.1 范围和前景 125
5.6.2 测试用例生成 125
5.7 灰盒测试 126
5.7.1 范围和前景 127
5.7.2 测试用例生成 127
5.8 小结 128
习题 129
参考文献 131
相关链接 134
第六章 软件测试策略 135
本章目标 135
6.1 简介 135
6.2 测试策略考虑的问题 136
6.3 测试策略的前提 137
6.4 常用软件测试策略 139
6.4.1 单元测试 139
6.4.2 集成测试 141
6.4.3 确认测试 144
6.4.4 系统测试 146
6.4.5 回归测试 147
6.5 测试结束条件 149
6.6 软件构件测试 149
6.7 实时系统测试 150
6.8 软件测试模型 151
6.8.1 V-模型 151
6.8.2 W-模型 151
6.8.3 B-模型 153
6.9 小结 153
习题 154
参考文献 156
相关链接 159
第七章 软件测试计划 160
本章目标 160
7.1 简介 160
7.2 测试计划规格说明 161
7.3 测试计划的层次 165
7.4 制订测试计划 166
7.4.1 相关要素 167
7.4.2 可测试性评价 170
7.5 主测试计划 170
7.6 阶段性测试计划 171
7.6.1 接收测试计划 172
7.6.2 系统测试计划 172
7.6.3 集成测试计划 172
7.6.4 单元测试计划 173
7.7 小结 173
习题 173
参考文献 175
相关链接 175
第八章 面向对象测试 176
本章目标 176
8.1 简介 176
8.2 面向对象方法 177
8.2.l 对象 179
8.2.2 类 180
8.2.3 特点 181
8.3 面向对象产生的影响 182
8.4 相关问题 183
8.5 面向对象测试模型 184
8.6 面向对象软件测试策略 186
8.7 需求测试 188
8.8 设计测试 190
8.9 单元测试 192
8.10 集成测试 193
8.11 系统测试 194
8.12 小结 194
习题 195
参考文献 196
相关链接 200
第九章 软件容错 201
本章目标 201
9.1 简介 201
9.2 软件容错的用途 202
9.3 软件失效 203
9.4 软件容错的原则 203
9.5 软件容错技术 205
9.6 基于故障的测试方法 206
9.7 小结 207
习题 207
参考文献 209
相关链接 214
第十章 变异测试 215
本章目标 215
10.1 简介 215
10.2 结构化变异 216
10.3 面向对象变异 218
10.4 小结 223
习题 224
参考文献 225
相关链接 226
第十一章 类测试的复杂性 227
本章目标 227
11.1 简介 227
11.2 类级别测试 229
11.3 类的度量 229
11.4 面向对象度量的现状 233
11.5 度量套集 234
11.6 基于类图的度量计算 235
11.7 实例检验 236
11.8 统计分析 237
11.9 实例解释 238
11.10 小结 238
习题 239
参考文献 240
相关链接 241