本书基于软件测试过程模型，构建软件测试价值模型、能力模型及基于能力战略的软件测试策略框架，讨论软件测试终止、测试预言、测试生成问题。基于图结构、图元素及软件失效行为，介绍逻辑驱动、数据驱动、剖面驱动的基础理论、基础技术及实践者方法。基于技术创新及软件测试发展需求，构建面向服务、大数据及应用、软硬件一体化测试的技术框架，讨论基于服务模型的形式化描述及求解、服务实体及基于时间波动的服务实时性测试、大数据算法及应用性能测试、基于环境剖面及多域任务场景综合的一体化测试技术的最新研究成果及实践者方法。基于能力战略的软件测试策略，构建基于质量、效率驱动的软件测试框架，结合实际案例，讨论文档类、代码类、数据类、功能类、性能类、接口类和专项类软件测试的技术要求、测试策略、环境构建及实践者方法。本书可供软件测试人员、软件质量管理人员、软件工程管理人员、软件开发人员及软件工程专业本科高年级学生、研究生使用和参考。

第1章 软件测试进展
1.1 软件赋能、赋值与赋智
1.2 软件质量现状
1.3 软件测试发展历程
1.4 软件测试发展展望
1.4.1 软件测试面临的挑战
1.4.2 软件测试发展趋势
第2章 软件测试基础
2.1 软件质量
2.1.1 软件质量架构
2.1.2 软件质量模型
2.1.3 质量模型的GDQA应用框架
2.2 软件测试
2.2.1 测试的充分性
2.2.2 测试的追溯性
2.2.3 测试的时机
2.2.4 测试的针对性
2.2.5 测试与调试
2.3 软件可测试性
2.3.1 可测试性生命周期过程模型
2.3.2 可测试性特征
2.3.3 不同级别的可测试性问题
2.4 软件可靠性
2.5 软件错误、缺陷、故障及失效
2.5.1 软件错误、缺陷及故障
2.5.2 软件失效
2.6 时间问题
2.6.1 基于时间的可靠性度量
2.6.2 Musa执行时间
2.6.3 时间问题再思考
2.7 运行剖面
第3章 软件测试模型
3.1 软件测试过程模型
3.1.1 软件测试过程
3.1.2 软件测试过程活动
3.1.3 基于流程的测试过程模型
3.1.4 基于RUP的测试过程模型
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 软件测试体系
4.2 基于风险、能力的测试策略
4.2.1 基于风险的测试策略
4.2.2 基于能力的测试策略
4.3 基于架构的测试策略
4.3.1 分层架构
4.3.2 事件驱动架构
4.3.3 微服务架构
4.3.4 云架构
4.4 基于对象及环境的测试策略
4.4.1 测试对象模型
4.4.2 测试环境分析
4.5 基于流程及组织的测试策略
4.5.1 测试策略螺旋结构模型
4.5.2 测试流程
4.5.3 测试组织
4.6 软件测试思维
4.6.1 系统思维
4.6.2 分析思维
4.6.3 结构化思维
4.7 不确定性及控制
4.8 测试策划的实践者方法
第5章 逻辑驱动测试
5.1 静态分析
5.1.1 静态分析技术架构
5.1.2 技术评审
5.1.3 代码走查
5.1.4 代码审查
5.1.5 动态测试
5.1.6 静态分析方法比较
5.2 逻辑覆盖
5.2.1 语句覆盖
5.2.2 判定覆盖
5.2.3 条件覆盖
5.2.4 判定?条件覆盖
5.2.5 条件组合覆盖
5.2.6 修正条件判定覆盖
5.3 路径覆盖
5.3.1 图结构
5.3.2 控制流
5.3.3 独立路径
5.3.4 图形矩阵
5.3.5 基本路径覆盖用例设计
5.4 循环结构覆盖
5.4.1 循环结构
5.4.2 循环结构测试
5.4.3 Z路径覆盖下的循环测试
5.4.4 最少测试用例数估算
5.5 符号执行
5.5.1 符号执行原理
5.5.2 符号执行技术
5.5.3 符号表达式简化
5.5.4 约束条件求解
5.6 流敏感指针分析
5.6.1 流敏感分析背景
5.6.2 静态单赋值问题
5.6.3 LLVM的内部表示
5.6.4 稀疏流敏感指针分析
5.6.5 访问等效性
5.6.6 算法
5.7 面向对象软件的逻辑驱动测试
5.7.1 类在UML中的描述
5.7.2 错误表征
5.7.3 类测试设计
5.7.4 类测试数据
5.7.5 类测试延伸
5.7.6 测试流程及方法
5.8 逻辑驱动测试的边界值
5.8.1 数据类型的边界值
5.8.2 数组的边界值
5.8.3 分支判断语句的边界值
5.9 同源检测
5.9.1 代码克隆类型
5.9.2 同源检测技术原理
5.9.3 代码克隆检测原理及流程
5.9.4 代码大数据库构建
5.9.5 分析元模型
5.9.6 基于代码大数据库的克隆检测
5.10 静态分析融合
5.10.1 静态分析融合框架
5.10.2 基于语义的跨语言文本聚类
5.10.3 基于语义的检测结果与规则集
聚类
第6章 数据驱动测试
6.1 软件可用性问题
6.2 等价类划分
6.2.1 测试输入问题
6.2.2 等价类划分规则
6.2.3 等价类划分流程
6.2.4 等价类划分方法
6.2.5 基于等价类划分的加法器测试
6.3 边界值分析
6.3.1 基于不同视角的边界
6.3.2 单缺陷假设及多缺陷假设
6.3.3 汽车转速控制边界值分析
6.4 决策表驱动
6.4.1 决策表表示
6.4.2 决策表结构
6.4.3 决策表建立步骤
6.4.4 基于决策表驱动的三角形类型
判断测试
6.5 因果图分析
6.5.1 因果图符号及关系
6.5.2 基于因果图分析的测试设计流程
6.5.3 基于因果图分析的自动售货软件
测试设计
6.6 功能图分析
6.6.1 功能图模型
6.6.2 基于功能图分析的测试设计流程