众所周知，当今的人类社会已经离不开计算机，因此也离不开计算机软件。人们的生活越来越多的被计算机软件主宰，于是人们对软件质量的要求也就越来越高。计算机软件的可靠性、安全性、可用性等问题与所有人的生活与工作息息相关。可以说，保证软件安全可靠的软件测试工作不仅成了计算机科学领域的重要研究课题，更是IT企业在研发软件时必不可少的工作环节。据统计，软件测试几乎占据了软件制作全部成本的半壁江山。学习计算机科学与技术类专业的学生，也几乎都要学习“软件测试”课程。如此一来，有关软件测试专著的出版无论是对学习软件测试的学生或是对从事软件测试工作的技术人员，参考价值毋容置疑。本书在“证明”和“证伪”两个重要科学与哲学理念下梳理了整个软件测试领域，尽力详尽地论述软件测试的各种方法。虽然本书并没有全力注重技术细节，但本书对各种技术在思想原理的阐述上却非常透彻，用思想原理综合了各种测试方法，不仅开阔了视野，而且还有助于我们“知其然又知其所以然”。此外，作者还提出了一些技术模型和理论模型，用实例表明重视思想原理对于软件测试具体实践的重要性。对于即将学习“软件测试”课程的本科生、研究生和广大教师，这本书是一本较好参考读物。对于研究软件测试的专家和从事软件测试工作的技术人员，这本书也值得阅读。