目　　录Software Testing: A Craftsman’s Approach, Fourth Edition出版者的话译者序前言第一部分　数学基础第1章　测试概述 21.1　基本概念 21.2　测试用例 31.3　利用维恩图来理解软件测试 31.4　构造测试用例 41.4.1　基于规格说明的测试 51.4.2　基于代码的测试 51.4.3　两种测试方法的对比 61.5　故障的分类 71.6　测试的层次 81.7　习题 81.8　参考文献 8第2章　程序示例 92.1　通用伪代码 92.2　三角形问题 102.2.1　问题描述 102.2.2　三角形问题的讨论 112.2.3　三角形问题的经典实现 112.2.4　三角形问题的结构化实现 142.3　NextDate日期函数 152.3.1　问题描述 152.3.2　NextDate函数的讨论 162.3.3　NextDate函数的实现 162.4　佣金问题 182.4.1　问题描述 182.4.2　佣金问题的讨论 192.4.3　佣金问题的实现 192.5　SATM系统 202.5.1　问题描述 202.5.2　SATM系统的讨论 212.6　货币兑换计算器 222.7　雨刷控制器 222.8　车库门遥控开关 222.9　习题 232.10　参考文献 24第3章　面向测试人员的离散数学 253.1　集合论 253.1.1　集合的成员关系 253.1.2　集合的定义方法 253.1.3　空集 263.1.4　集合的维恩图 263.1.5　集合运算 273.1.6　集合关系 283.1.7　集合划分 293.1.8　集合恒等 293.2　函数 303.2.1　定义域与值域 303.2.2　函数类型 303.2.3　函数复合 313.3　关系 323.3.1　集合之间的关系 323.3.2　单个集合上的关系 333.4　命题逻辑 343.4.1　逻辑运算符 343.4.2　逻辑表达式 353.4.3　逻辑等价 353.5　概率论 363.6　习题 373.7　参考文献 37第4章　面向测试人员的图论 384.1　图 384.1.1　节点的度 384.1.2　关联矩阵 394.1.3　邻接矩阵 394.1.4　路径 404.1.5　连通性 404.1.6　压缩图 414.1.7　圈数 414.2　有向图 414.2.1　入度与出度 424.2.2　节点类型 424.2.3　有向图的邻接矩阵 434.2.4　路径与半路径 434.2.5　可达矩阵 444.2.6　n连通性 444.2.7　强分图 444.3　软件测试中常用的图 454.3.1　程序图 454.3.2　有限状态机 464.3.3　Petri网 474.3.4　事件驱动Petri网 494.3.5　状态图 504.4　习题 524.5　参考文献 52第二部分　单元测试第5章　边界值测试 545.1　边界值分析 545.1.1　边界值分析的拓展 555.1.2　边界值分析的局限性 565.2　健壮性测试 565.3　最坏情况测试 575.4　特殊值测试 575.5　示例 585.5.1　三角形问题的测试用例 585.5.2　NextDate函数的测试用例 595.5.3　佣金问题的测试用例 605.6　随机测试 625.7　边界值测试的原则 635.8　习题 65第6章　等价类测试 666.1　等价类 666.2　传统的等价类测试 666.3　改进的等价类测试 676.3.1　弱一般等价类测试 686.3.2　强一般等价类测试 686.3.3　弱健壮等价类测试 686.3.4　强健壮等价类测试 696.4　三角形问题的等价类测试用例 696.5　NextDate函数的等价类测试用例 716.6　佣金问题的等价类测试用例 736.7　边缘测试 756.8　原则与注意事项 756.9　习题 766.10　参考文献 76第7章　基于决策表的测试 777.1　决策表 777.2　决策表使用技巧 777.3　三角形问题的测试用例 807.4　Next Date函数的测试用例 817.4.1　第一轮尝试 817.4.2　第二轮尝试 827.4.3　第三轮尝试 837.5　佣金问题的测试用例 857.6　因果关系图 857.7　原则与注意事项 867.8　习题 877.9　参考文献 87第8章　路径测试 888.1　程序图 888.2　DD路径 908.3　测试覆盖指标 928.3.1　基于程序图的覆盖度量方法 928.3.2　E. F. Miller的覆盖度量方法 928.3.3　复合条件下的闭合路径 958.3.4　示例 968.3.5　测试覆盖分析器 998.4　基路径测试 998.4.1　McCabe的基路径方法 1008.4.2　McCabe基路径方法的考虑 1028.4.3　McCabe方法的基本复杂度 1038.5　原则与注意事项 1058.6　习题 1058.7　参考文献 106第9章　数据流测试 1079.1　定义/使用测试 1079.1.1　举例 1089.1.2　stocks的定义使用路径 1109.1.3　locks的定义使用路径 1109.1.4　totalLocks的定义使用路径 1139.1.5　sales的定义使用路径 1139.1.6　commission的定义使用路径 1159.1.7　定义使用路径的测试覆盖指标 1159.1.8　面向对象编码的定义/使用测试 1169.2　基于程序切片的测试 1169.2.1　举例 1189.2.2　风格与技术 1229.2.3　切片拼接 1239.3　程序切片工具 1249.4　习题 1259.5　参考文献 125第10章　单元测试回顾 12610.1　测试方法的摇摆 12610.2　测试方法摇摆问题探索 12810.3　用于评估测试方法的指标 13110.4　重新