面向对象OO第15次作业总结
摘要:面向对象OO第15次作业总结 1.论述测试与正确性论证的效果差异,比较其优缺点测试通过大量测试数据来覆盖测试代码,比较直观,优点在于知道测的是啥,特别直观,缺点在于很难覆盖所有情况。正确性论证从逻辑关系对代码进行理论上的验证,优点在于能够保证正确性,缺点在于不够直观,不好论证。 2.OCL 对象约束
阅读全文
posted @ 2018-06-22 19:00
posted @ 2018-06-22 19:00
posted @ 2018-05-29 20:47
posted @ 2018-04-29 15:35
posted @ 2018-04-04 00:23