摘要： 测试与正确性论证的效果差异 首先是关于测试，对于第十三次作业中所使用的对于方法的测试主要是依赖规格对方法的正确性进行测试，可以很快速的检查自己程序中的bug，但如果一个方法的规模比较大，代码行数比较多，里面的判断条件很多的话，很容易自己也无法掌握程序，难以验证。 而在第十四次作业的正确性论证可以对所 阅读全文