目 录 1
第一章引言 1
§1.1测试的目的 1
§1.2一些两分法 6
§1.3用于测试的模型 9
§1.4赌博和预言 14
§1.5完整的测试可能吗？ 15
第二章错误的分类 17
§2.1 概要 17
§2.2错误的结果 17
§2.3错误的分类 21
§2.4一些错误统计 35
§2.5综述 37
第三章流程图和路径测试 39
§3.1概要 39
§3.2路径测试基础 39
§3.3判断、路径判断和能达到的路径 63
§3.4路径敏化 69
§3.5路径检测 75
§3.6路径测试的执行和应用 79
§3.7 可测试性提示 81
§3.8综述 82
§4.2综述 83
§4.3事务处理流程 83
第四章事务处理流程测试 83
§4.1概要 83
§4.4事务处理流程的测试技术 92
§4.5实现注释 96
§4.6 可测试点（Tcstability tips） 98
§4.7小结 99
第五章数据流测试 100
§5.1概要 100
§5.2数据流测试基础 100
§5.3数据流测试策略 112
§5.4应用、工具、效果 118
§5.5测试能力的提示（testabilityTips） 120
§5.6小结 121
§6.2定义域和路径 122
第六章定义域测试 122
§6.1提要 122
§6.3好的定义域和坏的定义域 128
§6.4定义域测试 135
§6.5定义域和接口测试 143
§6.6定义域和可测性 147
§6.7小结 149
第七章度量与复杂性 151
§7.1提要 151
§7.2度量是什么及为什么要度量 151
§7.3语言学度量 154
§7.4结构度量法 162
§7.5混合度量法 169
§7.6度量法的实行 170
§7.7测试能力 172
§7.8小结 173
第八章路径、路径产生和正则表达式 174
§8.1提要 174
§8.2产生原因 174
§8.3路径乘积和路径表达式 174
§8.4简化过程 180
§8.4应用 186
§8.6正则表达式和流程异常检测 203
§8.7小结 207
§9.1 概要 208
§9.2原因、实际动作和手段 208
第九章句法测试 208
§9.3格式的一种语法 212
§9.4测试分支的生成 216
§9.5实现和应用 225
§9.6可测试性的有关提示 229
§9.7小结 232
第十章基于逻辑的测试 233
§10.1概要 233
§10.2产生原因 233
§10.3判定表 234
§10.4再论路径表达式 241
§10.5卡诺图 250
§10.6规范 258
§10.7可测试性提示 263
§10.8 小结 264
第十一章状态，状态图及转换测试 265
§11.1概述 265
§11.2 目的说明 265
§11.3状态图 265
§11.4好的和坏的状态图 272
§11.5状态测试 283
§11.6可测性说明 286
§11.7小结 289
第十二章图形矩阵和应用 290
§12.1概述 290
§12.2 目的说明 290
§12.3图形矩阵 291
§12.4关系 294
§12.5矩阵的能力 297
§12.6减少节点算法 304
§12.7构造工具 309
§12.8小结 312
第十三章实现 314
§13.1提要 314
§13.2 概要 314
§13.3程序员的策略 316
§13.4独立测试的策略 321
§13.5对软件产品测试 327
§13.6 工具 328
附录 337