2018年6月25日
OO第四次博客
摘要： • 1. 论述测试与正确性论证的效果差异，比较其优缺点 测试就是通过大量的数据对程序进行检测，论证主要是理论上的东西，就是说给别人为什么我的程序是对的。测试能够保证在你的测试集下你的程序是没问题的，而论证能做到对可能出错情况的总结和概括。所以两者搭配使用效果最好，这样可以在两个方向上保证程序的正确。 阅读全文
posted @ 2018-06-25 18:31 SiMrua 阅读(104) 评论(0) 推荐(0) 编辑