摘要： OO第三单元总结 一、利用JML规格准备测试数据 ​ JML规格能够助力于规格化设计，规格化设计的核心是方法的前置条件、方法后置条件和对象的不变式。 ​ 方法的前置条件包含了normal_behavior和exceptional_behavior两种情况，因此我们在构造测试数据时需要覆盖到这两种情况 阅读全文