前　言
第1章　开发者测试概述 1
1.1　开发者与软件测试 1
1.1.1　测试和调试 1
1.1.2　开发者测试 3
1.1.3　PIE模型 4
1.2　开发者测试方法与技术 6
1.2.1　静态测试与动态测试 6
1.2.2　黑盒测试与白盒测试 8
1.2.3　失效重现 9
1.3　开发者测试工具 9
1.3.1　静态测试扫描工具 9
1.3.2　测试覆盖分析工具 12
1.4　开发者测试趋势 14
1.4.1　软件开发和运营困境 14
1.4.2　DevOps介绍 16
1.4.3　DevOps中的开发者测试 17
1.5　慕测开发者测试 19
1.6　小结 27
习题1 28
第2章　程序静态分析 29
2.1　程序静态分析概述 29
2.1.1　代码评审 30
2.1.2　结构分析 31
2.2　程序流程分析 32
2.2.1　控制流分析 32
2.2.2　数据流分析 33
2.3　符号执行 35
2.3.1　静态符号执行 36
2.3.2　动态符号执行 38
2.4　编程规范和规则 39
2.5　程序静态分析工具 42
2.5.1　工具简介 42
2.5.2　工具安装与评估 42
2.6　小结 48
习题2 48
第3章　白盒测试 50
3.1　逻辑覆盖测试 50
3.1.1　语句覆盖 52
3.1.2　分支覆盖 54
3.1.3　条件覆盖 56
3.1.4　条件/判定覆盖 58
3.1.5　修正条件/判定覆盖 61
3.1.6　条件组合覆盖 63
3.2　路径覆盖测试 65
3.2.1　环复杂度 65
3.2.2　基本路径覆盖 66
3.2.3　主路径覆盖 69
3.2.4　循环结构测试 72
3.3　小结 74
习题3 74
第4章　程序插桩与变异测试 77
4.1　程序插桩 77
4.1.1　程序插桩概述 77
4.1.2　程序插桩示例 78
4.1.3　程序插桩工具JaCoCo 79
4.2　变异测试 84
4.2.1　变异测试概述 84
4.2.2　变异测试方法 85
4.2.3　变异测试工具PITest 89
4.3　小结 91
习题4 91
第5章　单元测试 94
5.1　单元测试概述 94
5.2　单元测试框架 95
5.3　单元测试内容 96
5.3.1　算法逻辑 96
5.3.2　模块接口 97
5.3.3　数据结构 97
5.3.4　边界条件 98
5.3.5　独立路径 98
5.3.6　错误处理 99
5.3.7　输入数据 99
5.3.8　表达式与SQL语句 100
5.4　慕测单元测试实例 100
5.5　小结 102
习题5 103
第6章　集成测试 105
6.1　集成测试概述 105
6.1.1　集成测试过程 106
6.1.2　集成测试缺陷类型 107
6.2　集成测试分析 110
6.3　集成测试策略 112
6.3.1　一次性集成与增量式集成 112
6.3.2　自顶向下与自底向上集成 114
6.3.3　基于调用图的集成 117
6.3.4　其他集成测试策略 118
6.4　小结 124
习题6 124
第7章　JUnit基础 127
7.1　一个JUnit实例 127
7.2　注解 132
7.3　测试类与测试方法 135
7.3.1　Assert 135
7.3.2　TestCase 139
7.3.3　TestResult 141
7.3.4　TestSuite 142
7.4　错误与异常处理 143
7.4.1　错误和异常 143
7.4.2　异常处理 144
7.5　批量测试 146
7.5.1　参数化测试 146
7.5.2　打包测试 149
7.6　小结 150
练习7 150
第8章　JUnit深入应用 152
8.1　匹配器 152
8.2　JUnit测试进阶 154
8.2.1　Controller测试 154
8.2.2　Stup测试 155
8.2.3　Mock测试 159
8.2.4　Private测试 162
8.3　JUnit集成 165
8.3.1　JUnit-Ant集成 165
8.3.2　JUnit-Maven集成 169
8.4　小结 171
练习8 171
附录　慕测科技—开发者测试平台 172
参考文献 192