2018年6月25日
oo第四次博客作业
摘要： OO第四次博客作业 测试与正确性论证的效果差异 测试：我们需要编写尽可能多的测试样例，来覆盖我们的程序功能，结果直观，调试后容易发现问题，覆盖能力少稍差，决定于测试样例的质量； 论证：逻辑上的论证，需要对代码进行进一步的抽象，免去了编造测试样例的大量工作，覆盖性比较全面，但是比较抽象。 OCL语言与 阅读全文
posted @ 2018-06-25 15:41 paradox_town 阅读(245) 评论(0) 推荐(0) 编辑