摘要: 一、第四单元架构设计 总的来讲,第14次作业的架构设计是我自己感觉在历次作业中设计得最合理也最好的。第13次作业因为内容较少所以没有什么,而第14次作业是我到目前为止写的最舒服的一次。 1.第13次作业 这次作业总的来讲比较简单,没有什么bug。架构方面也是比较无脑,我处理得比较好的地方是为自己新建 阅读全文
posted @ 2019-06-24 01:26 ericliu0206 阅读(155) 评论(0) 推荐(0) 编辑
摘要: 一、JML语言基础 二、JML自动测试样例 三、架构设计 1.JML第一次作业 第一次作业相对而言比较简单,唯一需要多考虑的就是计算不同点的个数。 除去统计不同节点的个数之外,其他所有的方法都可以通过两个容器十分简单的实现,即通过id查找path(一个list即可)和通过path查找id(一个map 阅读全文
posted @ 2019-05-22 19:12 ericliu0206 阅读(115) 评论(0) 推荐(0) 编辑
摘要: 依然是秉承着设计与实现分离的原则,第一部分主要是讲述这三次作业的在整体上和细节上面的思路。第二部分将考察自己对于第一部分设计实现的效果如何。第三部分是对bug和检测bug的分析,最后的第四部分是对这三次作业的一个小小的总结和感想。 一、设计思路及策略 1.第五次作业 电梯作业系列的第五次感觉是到目前 阅读全文
posted @ 2019-04-24 18:33 ericliu0206 阅读(131) 评论(0) 推荐(0) 编辑
摘要: 秉承着计组学习到的设计与实现分离的原则,设计部分的反思都在历次作业的回顾中,而bug的出现大多是与代码的实现方式相关,所以把自己的bug分析加到了代码结构的部分。 一、历次作业回顾 1.第一次作业 (1)整体思路回顾 第一次作业难度现在看来较低,但是当时的主要难度在判断表达式非法与读入数据,尤其当时 阅读全文
posted @ 2019-03-26 13:27 ericliu0206 阅读(141) 评论(0) 推荐(0) 编辑