2018年6月25日
oo第四篇博客作业
摘要： 测试与正确性论证的效果差异及各自的优缺点： 测试针对一些典型的输入情况进行方法验证，可操作性更强，结果直观。但不能完全覆盖所有的输入情况。 正确性论证则是根据代码逻辑从所有的方面对方法进行论证，可操作性很差，工程量大，不过验证出来的结果更加可信。 OCL语言与JSF规格： OCL语言具有如下特点： 阅读全文
posted @ 2018-06-25 19:11 bwjak 阅读(141) 评论(0) 推荐(0) 编辑