2018年6月22日
学期末最后一次博客
摘要： 一、测试与正确性论证比较 测试是使用测试样例对程序进行检测而正确性论证则是根据代码的逻辑进行验证。 测试难以完全覆盖，需要大量的样例才能近似达到，而正确性论证则不需要花费那么大的精力，只需要根据代码的逻辑和规格进行一系列验证即可。 二、OCL与JSF OCL语言全名为对象约束语言(Object Co 阅读全文
posted @ 2018-06-22 20:41 shinyruo开始了 阅读(178) 评论(3) 推荐(0) 编辑