图书介绍：本书全面介绍了软件测试的相关理论、测试方法、测试生成技术等内容。全书分为三个部分，第一部分是预备知识，介绍软件测试技术的相关术语等基础知识；第二部分介绍软件测试的生成技术，不仅包括基本的等价类划分、边界值分析、因果图、谓词测试等技术，还涵盖了从有穷状态模型自动生成测试的技、基于组合设计的测试生成技术，以及用于回归测试中测试选择、优先级排序、最小化的一些基本技术；第三部分介绍软件测试中既重要又广泛适用的理论，即通过测试充分性的度量来加强测试，包括基于控制流、数据流的代码覆盖标准，以及最有效的基于程序变异的测试充分性度量标准。每章的结尾都有参考文献注释和练习题，帮助读者深入体会软件测试的过程，并熟练掌握测试生成的方法。 本书适合作为计算机、软件工程及相关专业软件测试课程的教材，也可作为软件测试技术人员的参考书。