会员
周边
捐助
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
sakura030
博客园
首页
新随笔
联系
管理
订阅
2018年6月25日
OO第四次博客作业
摘要: 一.测试与正确性论证的区别 测试是检验程序正确性的普遍且实用的方法,测试者通过使用许多普遍和特殊的样例,来检测程序逻辑是否有问题,运行结果是否符合预期结果。但仅是测试者给出的测试样例通过并不能证明程序完全没有错。在之前学过的的分支覆盖的知识来看,即便覆盖率达到90%,也不能证明程序没错。 而正确性论
阅读全文
posted @ 2018-06-25 16:00 sakura030
阅读(121)
评论(0)
推荐(0)
编辑
公告