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

第1章软件测试进展1
1.1软件赋能、赋值与赋智1
1.2软件质量现状2
1.3软件测试发展历程5
1.4软件测试发展展望7
1.4.1软件测试面临的挑战7
1.4.2软件测试发展趋势12
第2章软件测试基础18
2.1软件质量19
2.1.1软件质量架构19
2.1.2软件质量模型20
2.1.3质量模型的GDQA应用框架22
2.2软件测试23
2.2.1测试的充分性23
2.2.2测试的追溯性23
2.2.3测试的时机23
2.2.4测试的针对性24
2.2.5测试与调试24
2.3软件可测试性25
……