本书是经典的软件测试教材，综合阐述了软件测试的基础知识和方法，既涉及基于模型的开发，又介绍了测试驱动的开发，做到了理论与实践的完美结合，反映了软件标准和开发的新进展。作者拥有丰富的软件开发和测试领域的教学和研发经验，他在书中借助精心挑选的实例，把软件测试理论与实践紧密结合，讲解循序渐进、层次分明，便于读者理解。

保罗·C.乔根森（Paul C.Jorgensen）博士从事电话交换系统软件开发工作20年，这是他的第一份职业。他于1986年开始了大学教学工作，先在位于亚利桑那州坦佩市的亚利桑那州立大学教授研究生的软件工程课程，后于1988年在位于密歇根州阿伦达尔的大峡谷州立大学担任正教授。在从事学术工作之余，他还短暂从事过“软件范型”的咨询业务。他曾服务于数据系统语言会议（CODASYL）、计算机协会（ACM）、电气和电子工程师协会（IEEE）标准委员会。2012年，他所在大学以“杰出学科贡献奖”表彰了他这一生的成就。
除了他的软件测试书籍《Software Testing: A Craftsman's Approach》（第4版）之外，他还是《Modeling Software Behavior: A Craftsman's Approach》一书的作者，以及《Mathematics for Data Processing》（McGraw-Hill，1970）一书和《Structured Methods—Merging Models, Techniques, and CASE》（McGraw-Hill, 1993）一书的合著者。最近，Jorgensen博士参与了国际软件测试评定委员会（ISTQB）的工作，他与人合作编写了相关工作的高级教学大纲，并担任了ISTQB术语工作组的副主席。他是ISTQB“基于模型的测试”教学大纲的审阅者。
在意大利生活和工作的三年，使他成为一个坚定的“Italophile”（喜爱意大利的人）。他和妻子Carol以及女儿Kirsten和Katia曾多次访问那里的朋友。自2000年以来，Paul和Carol每年夏天都会在南达科他州Pine Ridge保护区的Porcupine学校做志愿者。他的大学电子邮件地址是jorgensp@gvsu.edu，他在2017年夏天成为荣誉退休教授，也可以通过pauljorgensen42@gmail.com联系他。

译者序
前言
作者简介
第一部分 数学背景
第1章 测试概览
1.1 基本定义
1.2 测试用例
1.3 测试的Venn图
1.4 确定测试用例
1.4.1 基于规范的测试
1.4.2 基于代码的测试
1.4.3 基于规范和基于代码之争
1.5 错误的分类
1.6 测试级别
1.7 习题
1.8 参考文献
第2章 案例
2.1 伪代码和Java的结构元素
2.2 三角形问题
2.2.1 问题描述
2.2.2 问题分析
2.2.3 Java实现
2.3 NextDate程序
2.3.1 问题描述
2.3.2 问题分析
2.3.3 Java实现
2.4 “美食家”在线购物系统
2.4.1 问题描述
2.4.2 问题分析
2.5 车库门控制系统
2.6 习题中的案例
2.6.1 四边形程序
2.6.2 NextWeek程序
2.6.3 雨刷控制器
2.7 习题
2.8 参考文献
第3章 软件测试的离散数学基础
3.1 集合论
3.1.1 集合中的元素
3.1.2 集合的定义
3.1.3 空集
3.1.4 Venn图
3.1.5 集合运算
3.1.6 集合关系
3.1.7 集合划分
3.1.8 集合恒等式
3.2 函数
3.2.1 定义域和值域
3.2.2 函数类型
3.2.3 函数组合
3.3 关系
3.3.1 集合间关系
3.3.2 单集合关系
3.4 命题逻辑
3.4.1 逻辑运算符
3.4.2 逻辑表达式
3.4.3 逻辑等价
3.4.4 概率论
3.5 习题
3.6 参考文献
第4章 软件测试的图论基础
4.1 图
4.1.1 节点的度
4.1.2 关联矩阵
4.1.3 邻接矩阵
4.1.4 路径
4.1.5 连通性
4.1.6 压缩图
4.1.7 环数
4.2 有向图
4.2.1 入度和出度
4.2.2 节点类型
4.2.3 有向图的邻接矩阵
4.2.4 路径和半路径
4.2.5 可达矩阵
4.2.6 n-连通
4.2.7 强连通分量
4.3 测试中的图
4.3.1 程序图
4.3.2 有限状态机
4.3.3 Petri网
4.3.4 事件驱动的Petri网
4.3.5 状态图
4.4 习题
4.5 参考文献
第二部分 单元测试
第5章 边界值测试
5.1 常规边界值测试
5.1.1 通用边界值分析
5.1.2 边界值分析的局限性
5.2 鲁棒边界值测试
5.3 最坏情况边界值测试
5.4 特殊值测试
5.5 案例
5.5.1 三角形问题的测试用例
5.5.2 NextDate程序的测试用例
5.6 随机测试
5.7 边界值测试指南
5.8 习题
第6章 等价类测试
6.1 等价类
6.2 传统等价类测试
6.3 改进的等价类测试
6.3.1 弱等价类测试
6.3.2 强等价类测试
6.3.3 弱鲁棒等价类测试
6.3.4 强鲁棒等价类测试
6.4 三角形问题的等价类测试用例
6.5 NextDate函数的等价类测试用例
6.6 completeOrder方法的等价类测试用例
6.7 边缘测试
6.8 关于无效等价类
6.9 等价类方法的使用指南
6.10 习题
6.11 参考文献
第7章 基于决策表的测试
7.1 决策表
7.2 决策表技术
7.3 三角形问题的测试用例
7.4 NextDate函数的测试用例
7.4.1 第一轮测试
7.4.2 第二轮测试
7.4.3 第三轮测试
7.5 因果图
7.6 基于决策表测试的指南
7.7 习题
7.8 参考文献
第8章 基于代码的测试
8.1 程序流程图
8.2 DD路径
8.3 代码覆盖
8.3.1 基于程序流程图的覆盖
8.3.2 Miller的覆盖
8.3.3 剖析组合条件
8.3.4 案例
8.4 基本路径测试
8.4.1 McCabe的基本路径法
8.4.2 McCabe基本路径测试的观察
8.4.3 基本复杂度
8.5 基于代码测试的指南
8.6 习题
8.7 参考文献
第9章 面向对象软件测试
9.1 单元测试框架
9.1.1 通用的单元测试框架
9.1.2 JUnit
9.2 模拟对象和自动对象模拟
9.3 数据流测试
9.3.1 定义-使用测试的定义
9.3.2 定义-使用测试度量
9.3.3 定义-使用测试的例子
9.4 面向对象的复杂度度量
9.4.1 类中方法权重
9.4.2 继承树深度
9.4.3 子类个数
9.4.4 类间耦合度
9.4.5 类的响应
9.4.6 内聚性缺失
9.5 面向对象软件测试中的问题
9.5.1 组合和封装的含义
9.5.2 继承的含义
9.5.3 多态的含义
9.6 基于切片的测试技术
9.6.1 案例
9.6.2 类型和技术
9.6.3 切片拼接
9.6.4 程序切片工具