摘要：测试与正确性论证 首先我们先来说一下这两个概念的差异所在。所谓测试，是指：基于前置条件和后置条件对输入划分并抽样产生测试数据，检查方法执行输出是否满足后置条件。而正确性论证，是指：针对格式化的规格和代码实现，人工方式对代码逻辑进行分析，确认是否所有满足前置条件的输入都能产生满足后置条件的结果。 然后 阅读全文