摘要： 测试和正确性论证的效果差异及优缺点 可以看到，使用测试还是正确性论证取决于对程序测试完备性的要求和程序测试完成时间之间的trade-off。因此工业界的大多数项目倾向于采用测试，而航空航天类的程序对正确性要求更高，更可能采取正确性论证。 调研OCL语言 OCL（Object Constraint L 阅读全文