本书是一本面向软件开发者的软件测试教材，旨在从开发者的角度介绍软件测试理论、方法和实践。本书从测试基础概念出发，结合概率统计和图论基础建立软件测试理论分析框架；然后从多样性、故障假设、图分析三个方面构建开发者视角的系统性软件测试方法；最后介绍开发者测试实践的三部曲，即单元测试、集成测试和回归测试。同时，本书穿插讲解了部分智能化软件测试的最新研究成果。本书以软件测试理论为主线，阐述了开发者测试方法背后的内在联系和主要区别，以启发读者思考。全书共分为9章，第1～3章主要介绍软件测试理论，第4～6章介绍软件测试方法，第7～9章介绍软件测试实践。软件测试工具、测试案例和实践内容请参阅本书配套线上资源。

前言
第1章　快速入门
1.1　多样性测试入门
1.1.1　随机测试
1.1.2　等价类测试
1.1.3　组合测试
1.2　故障假设测试入门
1.2.1　常见软件故障
1.2.2　边界故障假设
1.2.3　变异故障假设
1.3　图分析测试入门
1.3.1　图生成方法
1.3.2　图结构测试
1.3.3　图元素测试
1.4　开发者测试若干示例
本章练习
第2章　基础概念
2.1　测试的基础概念
2.1.1　常用测试术语
2.1.2　测试的理论框架
2.1.3　测试的基本问题
2.2　开发者测试常用工具
2.2.1　常用静态测试工具
2.2.2　常用动态测试工具
2.2.3　DevOps相关工具
2.3　待测程序示例
2.3.1　三角形程序Triangle
2.3.2　日期程序NextDay
2.3.3　均值方差程序MeanVar
本章练习
第3章　Bug理论基础
3.1　软件Bug与PIE模型
3.1.1　初识Bug
3.1.2　PIE模型
3.2　Bug理论分析
3.2.1　Bug的反向定义
3.2.2　Bug的不确定性
3.2.3　Bug的非单调性
3.2.4　Bug间的干涉性
3.3　软件调试
3.3.1　Bug理解
3.3.2　Bug定位
3.3.3　Bug修复
本章练习
第4章　多样性测试
4.1　多样性测试理论与方法
4.1.1　随机测试
4.1.2　等价类测试
4.1.3　组合测试
4.2　开发者多样性测试
4.2.1　代码多样性测试
4.2.2　组合多样性测试
4.2.3　行为多样性测试
本章练习
第5章　故障假设测试
5.1　故障假设测试理论与方法
5.1.1　边界值测试
5.1.2　变异测试
5.1.3　逻辑测试
5.2　开发者故障假设测试方法
5.2.1　边界故障假设
5.2.2　变异故障假设
5.2.3　逻辑故障假设
本章练习
第6章　图分析测试
6.1　图测试基础
6.1.1　图的基础概念
6.1.2　控制流图
6.1.3　数据流图
6.1.4　事件流图
6.2　图结构的测试方法
6.2.1　L-路径测试
6.2.2　主路径测试
6.2.3　基本路径测试
6.3　图元素的测试方法
6.3.1　数据流测试
6.3.2　逻辑测试
本章练习
第7章　单元测试
7.1　单元测试基础
7.1.1　概述与最佳实践
7.1.2　模拟单元测试
7.1.3　单元测试评估
7.2　自动化单元测试
7.2.1　单元测试执行
7.2.2　单元测试生成
7.2.3　单元测试演化
本章练习
第8章　集成测试
8.1　集成测试概述
8.1.1　目标与基本流程
8.1.2　集成测试策略
8.1.3　集成测试分析
8.2　接口测试
8.2.1　常用方法与最佳实践
8.2.2　自动化接口测试
8.2.3　智能化接口测试
本章练习
第9章　回归测试
9.1　回归测试概述
9.1.1　目标与定义
9.1.2　回归测试评估
9.1.3　回归测试优先级
9.2　回归测试类型
9.2.1　切片回归测试
9.2.2　回归测试集约简
9.2.3　切片聚类回归测试
9.3　聚类回归测试
9.3.1　动态聚类抽样测试
9.3.2　加权聚类抽样测试
9.3.3　半监督聚类抽样测试
本章练习