面向对象编程第四阶段总结

1. 论述测试与正确性论证的效果差异，比较其优缺点 　　测试是对每个方法构造样例，进行代码全覆盖来检查代码是否存在问题；而正确性论证是对其正确性和合理性进行论证，来判断是否代码是否符合逻辑。 　　测试的优点在于更加直观，书写起来相对比较简单方便，但是很难做到100%覆盖，有时会有一些问题被遗漏；正确性论证是在逻辑的基础上对代码进行论证，更加严密，覆盖率也更高，但是缺点是书写起来非常繁琐。   2.

>>阅读原文<<