本书基于实例讲述不同规模软件项目中的测试生成、选择、最小化和增强方面的最佳工程实践。全书还覆盖了基于数据流的测试充分性和基于变异的测试充分性，这些是可用的最有效的测试充分性准则。本书精选了由全世界数百位测试研究人员和实践人员发明和总结的测试知识及技术，采用通俗易懂的表述方式，使读者更容易理解和掌握。<br />测试生成、选择、优先排序和评估是测试过程中所有技术活动的基础。在此基础上合理部署各项组件，才能有效地测试不同类型的软件应用，包括面向对象系统、Web服务、图形用户接口、嵌入式系统以及与安全、性能和可靠性有关的各种属性。本书采用大量的实例和习题，循序渐进地介绍各种测试技术（包括有限状态模型、组合设计和回归测试的最小化等）。<br />本书适合作为计算机、软件工程及相关专业软件测试课程的教材，也可作为软件测试技术人员的参考书。

Aditya P. Mathur 普度大学计算机系主任、教授，印度BITS Pilani大学计算机系创始人之一。他是一位成果颇丰的学者，在国家期刊和会议上发表了100多篇论文。他的重要学术成果包括多语言计算机、软件测试的饱和效应、软件控制论、软件可靠性估算的新技术等。