按证明论和证伪论两种哲学思想原理，把现今存在的软件测试工作进行了梳理，阐述了各种思想原理对软件测试技术的发展的贡献。还提出了一些技术模型和理论模型，用实例表明重视思想原理对于软件测试具体实践的重要性。对于计算机科学《软件测试》课程的学生、研究生和教师，这本书是一本较好参考读物。对于研究软件测试的专家和从事软件测试工作的技术人员，这本书也值得阅读。