本书系统地介绍了软件测试的主要技术和方法，全书共分为8章。在讨论黑盒测试时介绍了边界值、等价类、决策表、因果图等方法，而基于控制流的测试则介绍了语句覆盖、判定、条件覆盖、修正判定覆盖和基本路径覆盖；在组合测试方面包括拉丁方阵、正交表等方法，重点讨论了成对组合测试方法；基于有限自动机的测试涵盖了T方法、D方法、W方法、U方法；面向对象语言测试方面包括类属性、对象属性测试，基于对象创建和销毁、装饰器、多态的软件测试；基于UML的软件测试介绍了基于用例图、类图、活动图、序列图、状态图等的测试方法；最后，本书讨论基于Petri网的软件测试、蜕变测试、基于变异的软件测试以及基于故障树的软件测试。本书结合当前技术发展的特点和工程实践的需求而编写，内容新颖，实操性强，既适合于软件测试和软件质量保障相关的技术人员在从事软件测试时参考，也适合作为软件工程专业的本科生、研究生学习软件测试课程的教科书。