2018年6月19日

OO第四次博客作业

摘要： 测试与正确性论证的效果差异 关于方法的测试，是针对规格设计相关测试样例，验证该方法在执行测试样例后能否能获得与预期相符的结果，是实验层面的验证。 而正确性论证则是在方法规格的基础上，从理论上论证该方法的代码能否做到与规格相同的EFFECTS效果，是逻辑层面的验证。 二者互有优劣。 测试：需要尽可能穷 阅读全文

posted @ 2018-06-19 15:21 wxmwy 阅读(167) 评论(0) 推荐(0) 编辑

导航