孙志安等编著

本书基于软件测试过程模型，构建软件测试价值模型、能力模型及基于能力战略的软件测试策略框架，讨论软件测试终止、测试预言、测试生成问题。基于图结构、图元素及软件失效行为，介绍逻辑驱动、数据驱动、剖面驱动的基础理论、基础技术及实践者方法。基于技术创新及软件测试发展需求，构建面向服务、大数据及应用、软硬件一体化测试的技术框架，讨论基于服务模型的形式化描述及求解、服务实体及基于时间波动的服务实时性测试、大数