会员
周边
捐助
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
青所
博客园
首页
新随笔
联系
管理
订阅
2018年6月25日
OO第四次博客
摘要: 4 1.测试与正确性论证的比较 这两者在我看来不可比较。前者是对代码正确性的验证,是对代码实际运行结果与预期运行结果的比较。后者是检查代码逻辑与规格逻辑的一致性。 在我看来,前者的优点在于,当“预期”具有正确性时,它可以确确实实地保证代码的正确性。缺点在于,“预期”本身有时候难以得到,当程序过于庞大
阅读全文
posted @ 2018-06-25 11:18 青所
阅读(156)
评论(0)
推荐(0)
编辑
公告