摘要：
第四单元总结性博客作业 本单元作业的架构设计 本单元作业任务是解析UML图，第一次作业是类图的解析；第二次作页是顺序图和状态转移图的解析；第三次作业是对UML图的合法性进行解析。 对于UML图的解析，我采用的方法是对课程组给的Uml类进行再次封装。课程组给的类只含有getId()这种最最基础的方法。 阅读全文
摘要：
第三单元总结性博客作业 一、测试部分 测试数据的准备 对于这次的作业，我们可以根据JML规格的描述来构造测试数据，对每一个方法做出专门的测试。任何一个方法的JML规格都是由requires，assignable，ensures三部分组成，对于有不同情况需要有不同操作的方法，会有多个requires( 阅读全文
摘要：
OO第二单元总结 作业总结 第五次作业 作业简介 这次作业是编写一个简单的多线程实时电梯系统，实现模拟五部电梯接送乘客的功能。 类图与协作图 类图如下： 协作图如下： 各个类含义如下： Main：主类Person：乘客类/请求类AllTable：全局Table（后来发现其实和控制器类似）Table： 阅读全文
摘要：
OO第一单元总结（BUAA） 本博客作为我对2022年BUAA-OO课程第一次作业的总结。主要包含我的作业设计思路和在编程过程中个人的一些感悟和理解。 一、问题描述 通过对表达式结构进行建模，完成多层嵌套表达式和函数调用的括号展开与化简。 表达式的形式化描述如下： 表达式 → 空白项 [加减 空白项 阅读全文