摘要： 一、 论述测试与正确性论证的效果差异，比较其优缺点 二者是对代码正确性论证不同策略。 (1)测试 测试是基于前置条件和后置条件对输入划分并抽样产生测试数据，检查方法执行输出 是否满足后置条件。 • 优点：易于实施，工程广为采用。通过第十四次作业书写正确性论证可以看出来测试相比正确性论证更容易实施，周 阅读全文