摘要: 1.论述测试与正确性论证的效果差异,比较其优缺点 测试是过去我们常用来测试代码正确性的方法。而第十三次作业编写的junit代码,是对于每个函数,事先写好规格,再基于前置条件和后置条件对输入划分,利用多组测试数据,检查方法输出是否满足后置条件。 优点: 易于找出不符合前置条件后置条件的BUG。 测试有 阅读全文
posted @ 2018-06-25 19:54 AAO 阅读(217) 评论(0) 推荐(0)