王兴亚、王智钢、赵源、陈振宇编著的《开发者测试(全国大学生软件测试大赛指导用书)/软件工程技术丛书》共分为8章及一个附录，主要内容包括开发者测试概述、程序静态分析、白盒测试、程序插桩与变异测试、单元测试、集成测试、JUnit基础、JUnit深入应用、慕测科技——开发者测试平台等与开发者测试相关的知识、技术和平台。书中涵盖了开发者测试的四个重要方面：1)开发者测试出现的背景与意义；2)开发者所应掌握的基本和高级程序分析方法(如程序流程分析、符号执行)以及软件测试技术(如白盒测试、单元测试、集成测试、变异测试、程序插桩)；3)开发者所应掌握的软件测试分析辅助工具(如JUnit、JaCoCo、PITest)；4)用于开发者测试教学、竞赛的幕测平台。全书通过多个Java示例代码阐释了各个方法和技术，以便读者理解和学习。 本书得到江苏高校品牌专业建设工程项目PPZY20158140的支持。本书适合高等院校相关专业的学生及教师阅读，也适合软件开发人员、测试人员及未来希望从事软件开发、测试的其他专业人员参考。

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