OO13-14总结

1.论述测试与正确性论证的效果差异，比较其优缺点 　　测试是过去我们常用来测试代码正确性的方法。而第十三次作业编写的junit代码，是对于每个函数，事先写好规格，再基于前置条件和后置条件对输入划分，利用多组测试数据，检查方法输出是否满足后置条件。 优点： 易于找出不符合前置条件后置条件的BUG。 测试有针对性，编写起来方便快速。 缺点： 能够找出BUG，但不能保证程序没有BUG。 覆盖一个函数所有

>>阅读原文<<