会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
sit down, and eat watermelon
博客园
首页
新随笔
联系
订阅
管理
2018年6月25日
oo第四篇博客作业
摘要: 测试与正确性论证的效果差异及各自的优缺点: 测试针对一些典型的输入情况进行方法验证,可操作性更强,结果直观。但不能完全覆盖所有的输入情况。 正确性论证则是根据代码逻辑从所有的方面对方法进行论证,可操作性很差,工程量大,不过验证出来的结果更加可信。 OCL语言与JSF规格: OCL语言具有如下特点:
阅读全文
posted @ 2018-06-25 19:11 bwjak
阅读(141)
评论(0)
推荐(0)
编辑
公告