会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
16061008
2018年6月25日
oo第四次博客总结
摘要: 1.论述测试与正确性论证的效果差异,比较其优缺点 测试:通过大量测试样例覆盖测试代码,来检测代码功能的实现是否正确是否完善。测试一个程序的正常输入比较容易,但难点就在于大量的非法输入,测试只能发现bug,却不能保证程序正确。正确性论证:通过对代码规格和逻辑的严密分析,推论和证明,来验证代码实现的正确
阅读全文
posted @ 2018-06-25 17:33 16061008
阅读(132)
评论(0)
推荐(0)
编辑
导航
博客园
首页
新随笔
联系
订阅
管理
公告