摘要: OO第四次博客总结 总结本单元两次作业的架构设计 对于架构问题,我的第二次作业在架构上进行了一定小小的更改,引入层次化的目录结构,将各种功能不同的类分门别类的放进不同的包里,使得结构更加清晰,(在这个问题上我醒悟的太晚了) 在本单元作业中,我的作业依然采取树形结构,对于开源库中的大部分元素我都对应的 阅读全文
posted @ 2019-06-22 14:03 Caiji_Tjm 阅读(157) 评论(0) 推荐(0) 编辑
摘要: OO第三单元总结 任务一 :JML的理论基础,应用工具链情况 JML是一种形式化的,面向java的行为接口规格语言(来自于PPT)。他具有充分的理论基础:JML的建立是建立在LARCH方法的基础上的。 JML主要通过前置条件,后置条件,副作用,不变式等多种形式来规定方法的正常行为和异常行为,以达到契 阅读全文
posted @ 2019-05-21 20:44 Caiji_Tjm 阅读(165) 评论(0) 推荐(0) 编辑
摘要: OO第二单元总结 一.三次作业的设计策略: 1.请求队列的同步控制: 三次作业中均使用了自己编写的请求队列,其所有公共方法均加锁,采取的均是生产者-消费者模型。Input线程向队列中放入请求,调度器线程向各个电梯分发请求。 2.各个线程的休眠/唤醒策略 第一次作业中由于没有cpu时间限制,采取了暴力 阅读全文
posted @ 2019-04-23 15:29 Caiji_Tjm 阅读(151) 评论(0) 推荐(0) 编辑
摘要: OO第一单元总结 一.设计思路与bug分析 1.第一次作业 在第一次作业 在第一次作业中测试阶段,公测与强测没有出现bug,得分100,互测中被测出7个bug,全部是由于没有对非\t与<space>的其他不可见空白控制字符造成的。(当时对指导书理解出现了失误,认为空白字符只有\t space是基本限 阅读全文
posted @ 2019-03-24 16:08 Caiji_Tjm 阅读(172) 评论(0) 推荐(0) 编辑