会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
七袖木源
博客园
首页
新随笔
联系
订阅
管理
2018年6月25日
oo第四次博客作业
摘要: 测试与正确性论证 测试根据各种在合理范围内的情况构造对应的测试样例来对程序进行覆盖性测试。 正确性论证则是通过严谨的逻辑语言来对程序达到预期目标的一般性描述。 测试的优点是可以直接对程序进行检查,缺点是没有办法保证测试覆盖全面。 正确性论证优点是可以通过更一般的论证来覆盖程序,能够代表测试穷举性测试
阅读全文
posted @ 2018-06-25 08:19 七袖木源
阅读(189)
评论(0)
推荐(0)
编辑