摘要: BUAA_OO_2022 Unit4 与课程总结 本单元作业架构设计 总体任务概述 本单元作业实现了UML解析器,支持对类图、时序图、状态图的解析及模型有效性检验。整体上分为模型建立、有效性检验、指令查询三个部分。官方包将输入的字符串数据转换成统一的抽象类UmlElement,他们就像一块块零散的拼 阅读全文
posted @ 2022-06-28 08:26 和平鸽5106 阅读(66) 评论(0) 推荐(1) 编辑
摘要: BUAA_OO_2022 Unit3 总结 自测过程 数据准备 由于本单元的代码完全基于JML,因此数据生成也主要参考了JML规格。在数据生成器中,我通过参数控制各个指令的出现频率和出现顺序,以尽可能覆盖规格中出现的各类情况。 在此基础上,为了更好地覆盖边界情况以及测试程序的抗压能力,数据生成器支持 阅读全文
posted @ 2022-06-03 22:09 和平鸽5106 阅读(108) 评论(0) 推荐(0) 编辑
摘要: BUAA_OO_2022 Unit2 总结 单元总览 本单元的主题是多线程,基于真实的电梯调度场景,学习了基于线程、共享、交互的面向并发和协同抽象的层次设计结构,重点关注并发行为的安全和效率。 此外,我们还学习并实现了生产者-消费者模型、单例模式、黑板模式、流水线模式等,对于面向对象的设计模式有了更 阅读全文
posted @ 2022-04-30 16:43 和平鸽5106 阅读(83) 评论(0) 推荐(0) 编辑
摘要: BUAA_OO_2022 Unit1 总结 1 架构设计思路分析 1.1 总体设计思路 本单元三次作业要求皆是对表达式化简。具体来说,是读入符合形式化表述的字符串,将字符串解析为表达式,对表达式进行化简,将化简后的表达式输出。主要学习目标有:建立面向对象程序的认识、认识对象的结构特征、理解和掌握层次 阅读全文
posted @ 2022-03-26 09:29 和平鸽5106 阅读(141) 评论(3) 推荐(3) 编辑