2022 年 6月随笔档案 - lr20

06 2022 档案

摘要：OO第四单元总结一、第四单元作业的架构设计由于每次作业均为上一次作业的增量开发，故此处只分析第三次作业。 1、架构设计模块： MyImplementation类：顶层类，所有的查询指令均通过此类来进行 ClassManagement类、SeqManagement类、StateManagem 阅读全文

posted @ 2022-06-28 22:58 lr20 阅读(61) 评论(0) 推荐(0)

OO第三单元总结

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

posted @ 2022-06-01 16:26 lr20 阅读(42) 评论(0) 推荐(0)