本书全面地介绍了软件测试的基础知识和方法。通过问题、图表和案例研究，对软件测试数学问题和技术进行了深入的研究，并在例子中以更加通用的伪代码取代了过时的Pascal代码，从而使内容独立于具体的程序设计语言。本书还介绍了面向对象测试的内容，并完善了GUI测试内容。 本书是ACM与IEEE计算机学会“软件工程知识体系”主要引用文献，并是国际众多大学的教材。 本书适合作为相关专业高校教材，也可用于读者自学。