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