OO第四次博客

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

>>阅读原文<<