06 2018 档案

oo第十五次作业
摘要：1.论述测试与正确性论证的效果差异，比较其优缺点。 测试与正确性论证的差异是，测试是从实践角度进行的，以大量的各种不同的数据来验证代码的正确性或是发现bug。而正确性论证是从逻辑推理角度进行的，相对于测试即使有大量数据也可能无法覆盖各个分支的情况，正确性论证可以完全覆盖代码所有的可能性。只要正确性论 阅读全文

posted @ 2018-06-25 11:14 swoip