摘要：
Unit 4 总结 总结本单元作业的架构设计 总的来看,第四单元的作业是对于UML图的分析和处理. 第一次作业 其实第一次作业我的框架搞得很不好,第一次作业我只定义了官方要求的两个类,没有继承官方包对于类图中的属性,将每一个属性分开写,而是利用了很多hashMap用来储存我需要的数据,颇有面向过程的 阅读全文
摘要：
第三单元总结 一、 本单元自测过程中如何利用JML规格来准备测试数据 本单元自测过程一般分为两个方面: (1)定点爆破: 针对JML规格当中的每一个条件的触发点进行有针对性的爆破,看一下每个条件下能否按要求抛出错误或者完成指定操作内容. (2)重复爆破 重复爆破可针对某一种情况重复造不一样的边际数据 阅读全文
摘要：
第二单元总结 锁和同步块 主要利用了synchronized锁和Controller调度器解决线程数据冲突问题. 本次作业由于直接将人分配到楼座且一个楼座仅有一个电梯就无需考虑删除人时的读写冲突. 调度器设计 controller内部掌管NewMainBuiding类包含了所有楼座的信息,通过get 阅读全文
摘要：
Unit1 综述 第一单元的任务主要是进行包含幂运算的表达式化简，在随后几次的迭代开发后可以实现支持幂函数，括号嵌套，有限个自定义函数（及其嵌套），三角函数与求和函数。主体架构采用递归下降算法拆分表达式为Expr（表达式）、Item（项）、Factor（因子），后对于拆分好的字符串进行计算、化简与合 阅读全文