导航

2018年6月25日

第四次博客作业

摘要： 测试与正确性论证 我认为第十三次作业的测试是基于规格通过测试用例对实现方法正确性的检查。与平时测试时直接用数据输入输出判断不同，本次测试针对每一个具体方法的实现，使用junit，能够快速地定位到自己的bug。但是一旦代码规模增大，测试很难做到覆盖性的检查。 正确性论证可以做到全面的覆盖，我在论证过程 阅读全文

posted @ 2018-06-25 13:21 VioletQ 阅读(188) 评论(0) 推荐(2) 编辑