本书是国内第一部深入系统地论述软件测试原理、软件测试模型的著作。本书主要阐述软件测试的思想--基于“证实”和“证伪”两种原理，并把当前流行的软件测试方法进行了系统梳理。全书共分为两篇：第一篇软件测试证明论思想原理（第2章-第8章)，阐述了软件开发过程中的验证活动，原型和图像，模型检验，程序正确性演绎证明，组合测试；第二篇软件测试中的证伪论思想原理(第9章-第12章)，阐述了软件开发过程中的“证伪”活动，软件测试理论，随机测试，众包测试。