导航

2018年6月24日

OO第四次博客

摘要： 测试与正确性论证比较 测试是通过考虑多种情况构造尽可能全面的测试用例，对程序的执行结果进行检查，自由度较高，但是难以保证全面覆盖。 正确性论证则是从代码逻辑的角度检查实现逻辑和规格的一致性，抽象程度高，具有一定难度，但是可以保证较高的覆盖率。 OCL语言调研以及比较 对象约束语言OCL(object 阅读全文

posted @ 2018-06-24 20:38 shawnco 阅读(102) 评论(0) 推荐(0) 编辑