会员
T恤
新闻
博问
AI培训
云市场
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
Challenging666
博客园
首页
新随笔
联系
订阅
管理
2018年6月25日
第四次课程总结
摘要: 一.测试与正确性论证的效果差异1.测试优点:测试寻找bug的方式比较简单, 可以很快速的验证程序的基本功能, 调试非常方便.缺点:测试很难达到对程序的全面覆盖, 构造一些复杂的测试样例可能难度较大.测试无法证明程序是完全正确的.2.正确性论证优点:正确性论证可以证明程序是正确的.缺点:论证步骤复杂,
阅读全文
posted @ 2018-06-25 19:05 Challenging666
阅读(113)
评论(0)
推荐(0)
编辑
公告