面向对象OO第15次作业总结 1.论述测试与正确性论证的效果差异,比较其优缺点测试通过大量测试数据来覆盖测试代码,比较直观,优点在于知道测的是啥,特别直观,缺点在于很难覆盖所有情况.正确性论证从逻辑关系对代码进行理论上的验证,优点在于能够保证正确性,缺点在于不够直观,不好论证. 2.OCL 对象约束语言简称OCL,它是一种用于施加在制定的模型元素上约束的语言.OCL表达式以附加在模型元素上的条件和限制来表现对该对象的约束,其中包括附加在模型元素上的不变量或约束的表达式,附加在操作和方法上的前置条…