2018年6月25日
OO终章--总结博客
摘要： 一、测试与正确性论证的比较 从方法上看，测试是使用大量测试样例来覆盖测试代码，从而能够检测代码的实现是否正确，功能是否完善。而正确性论证是使用代码的规格和逻辑进行严密的推论和证明，从而验证代码的实现正确性。从优缺点来看，测试的优点在于能够直观地看出测试的结果是否正确，而缺点在于难以构造覆盖完整的测试 阅读全文
posted @ 2018-06-25 13:10 aicoy 阅读(179) 评论(0) 推荐(0) 编辑