2018年6月25日
OO第四次博客
摘要： 一.测试与正确性论证 测试：争对程序构造样例去验证程序的正确性。 正确性论证根据程序的逻辑去判断程序的有效性和正确性。 测试的难度较正确性论证容易，但测试并不能说明测试已经全部覆盖程序。 二.OCL语言和jsf的异同 OCL对象约束语言，用来约束定义，形式化的无二义的语言，说明建模元素的有关细节。 阅读全文
posted @ 2018-06-25 18:03 16061176 阅读(79) 评论(0) 推荐(0)