会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
paradox_town
博客园
首页
新随笔
联系
订阅
管理
2018年6月25日
oo第四次博客作业
摘要: OO第四次博客作业 测试与正确性论证的效果差异 测试:我们需要编写尽可能多的测试样例,来覆盖我们的程序功能,结果直观,调试后容易发现问题,覆盖能力少稍差,决定于测试样例的质量; 论证:逻辑上的论证,需要对代码进行进一步的抽象,免去了编造测试样例的大量工作,覆盖性比较全面,但是比较抽象。 OCL语言与
阅读全文
posted @ 2018-06-25 15:41 paradox_town
阅读(245)
评论(0)
推荐(0)
编辑
公告