摘要: 第四单元作业的架构设计 以下是我的自定义类(uml开头的除外)。 processor 负责将 umlElements 分类并根据它们的 parentId 建立如上图的层次化结构。建立好了之后,指令的实现也较为容易了。同时可以以HashMap<String, MyClass> myClasses和Ha 阅读全文
posted @ 2022-06-29 13:07 日常写bug的路人甲 阅读(10) 评论(1) 推荐(0) 编辑
摘要: 如何利用JML规格来准备测试数据 在第二次作业互测中有位同学因为忽略了一些前置条件和后置条件,结果抛出空指针和除零异常了,因此可以发现JML规格是很严谨的,所以可以多琢磨JML规格去准备测试数据。 比如 /*@ ensures \result == (people.length == 0? 0: @ 阅读全文
posted @ 2022-06-06 15:16 日常写bug的路人甲 阅读(9) 评论(0) 推荐(0) 编辑
摘要: 第一次作业 乘客的请求信息:起点层和终点层不同,起点座和终点座相同。如1-FROM-A-1-TO-A-2 思路:采用LOOK策略。若同方向上没有请求且电梯里的乘客的目的地都在反方向,则转换电梯运行方向。(捎带前往目的地与电梯运行方向相同的乘客) UML类图 自己程序的bug 输出时间戳没递增。 第二 阅读全文
posted @ 2022-05-03 13:42 日常写bug的路人甲 阅读(8) 评论(1) 推荐(2) 编辑
摘要: 第一次作业 概述:单变量多项式的括号展开 思路:参考了讨论区的方法,将变量因子和常量因子放在一起。删除了多余的+-符号和空白项,并将"**"替换成"^"。为了toString方法和计算的方便,将正负号放在因子上,下图是计算(x+2)**2以及(x+2)**2*x**2时数据的存储方式。所以在我的最终 阅读全文
posted @ 2022-03-25 22:28 日常写bug的路人甲 阅读(24) 评论(0) 推荐(0) 编辑