"采用测试理论框架分析需求S、程序P和测试T三者之间的关联，并进一步引入测试预言O，丰富测试理论框架。对比于图灵测试，引出软件测试的三大问题：终止问题、预言问题和生成问题，贯彻全书。

引入PIE模型，探索Bug的基础理论，从Bug的反向定义、Bug的不确定性、Bug的非单调性和Bug间的干涉性进行深入分析。

通过多样性测试和故障假设测试，将测试方法分为两大类，进行系统性的理论梳理和关联讲解。将待测系统转换为图，进行图结构和图元素的分析与拓展，加深读者对软件测试本质的理解和未来方法的思考。

 融入离散数学、线性代数、概率统计等基础知识，尝试构建软件测试的理论体系。"