会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
aicoy
博客园
首页
新随笔
联系
订阅
管理
2018年6月25日
OO终章--总结博客
摘要: 一、测试与正确性论证的比较 从方法上看,测试是使用大量测试样例来覆盖测试代码,从而能够检测代码的实现是否正确,功能是否完善。而正确性论证是使用代码的规格和逻辑进行严密的推论和证明,从而验证代码的实现正确性。从优缺点来看,测试的优点在于能够直观地看出测试的结果是否正确,而缺点在于难以构造覆盖完整的测试
阅读全文
posted @ 2018-06-25 13:10 aicoy
阅读(176)
评论(0)
推荐(0)
编辑
公告