06 2022 档案

摘要：BUAA_OO_2022 Unit4 与课程总结 本单元作业架构设计 总体任务概述 本单元作业实现了UML解析器，支持对类图、时序图、状态图的解析及模型有效性检验。整体上分为模型建立、有效性检验、指令查询三个部分。官方包将输入的字符串数据转换成统一的抽象类UmlElement，他们就像一块块零散的拼 阅读全文

摘要：BUAA_OO_2022 Unit3 总结 自测过程 数据准备 由于本单元的代码完全基于JML，因此数据生成也主要参考了JML规格。在数据生成器中，我通过参数控制各个指令的出现频率和出现顺序，以尽可能覆盖规格中出现的各类情况。 在此基础上，为了更好地覆盖边界情况以及测试程序的抗压能力，数据生成器支持 阅读全文