本书综合阐述了软件测试的基础知识和方法，主要分为三个部分。第一部分介绍软件测试的数学背景，包括集合论、图论、函数、命题逻辑等内容。第二部分讨论如何进行单元测试，包括边界值测试、等价类测试、基于决策表的测试、基于代码的测试和面向对象的测试等内容。第三部分探讨单元测试之外的测试方法，包括基于生命周期的测试、集成测试、系统测试、基于模型的测试等内容。本书做到了理论与实践的有效结合，反映了软件测试和开发的新进展和新变化。