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