摘要： 2018 春 面向对象 第15次作业 一、测试与正确性论证的比较 测试对于程序正确性的验证极其依赖于测试集的完备性与强度，正确性论证只是对程序是否实现了其规格进行了论证，这两者都不能完全保证程序的正确性。 二、OCL语言调研 "Object Constraint Language" 对象约束语言（O 阅读全文