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