本书全面介绍了软件测试的相关理论、测试方法、测试生成技术等内容。全书分为三个部分: 第一部分足预备知识, 介绍软件测试技术的相关术语等基础知识; 第二部分介绍软件测试的生成技术, 不仅包括基本的等价类划分、边界值分析、因果图、谓词测试等技术, 还涵盖了从有穷状态模型自动生成测试的技术、基于组合设计的测试生成技术, 以及用于回归测试中测试选择、优先级排序、最小化的一些基本技术; 第三部分介绍软件测试中既重要又广泛适用的理论, 即通过测试充分性的度量来加强测试, 包括基于控制流、数据流的代码覆盖标准, 以及最有效的基于程序变异的测试充分性度量标准。