06 2022 档案
摘要:OO第四单元总结 第四单元架构设计 类图模型 主要采用HashMap容器表示类包含的属性方法,以及继承、关联等关系 private final HashMap<String, Integer> subClass = new HashMap<>(); //classId -> subclass_num
阅读全文
摘要:OO第三单元总结 利用JML规格准备测试数据 前置条件 构造不满足前置条件的数据测试异常处理 构造满足前置条件的数据测试正确性 后置条件和约束条件 用于判断输出结果的正确性 利用JML规格的前置条件构造数据便于对所有可能的情况进行分类讨论,保障了测试数据的覆盖率。但仅用后置条件和约束条件对结果进行判
阅读全文