oo课程总结 一、第四单元作业架构设计 1. 第一次作业 2. 第二次作业 二、架构设计以及对OO方法理解的演进 1. 表达式求导 2. 多线程电梯 3. 地铁线路查询 4. UML图的解析 三、对测试的理解和实战的改进 四、课程收获 五、对OO课程的建议 一、第四单元作业架构设计 1. 第一次作业 Read More
2019-oo-第三单元总结 ——JML的应用 (1)梳理JML语言的理论基础、应用工具链情况 • JML语言的理论基础 • • 类规格 类的规格包括对数据状态的要求，即invariant（不变式：要求在所有可见状态下都必须满足的特性）和constraint（状态变化约束）； 以及对方法的要求。 • Read More
2019 OO 第二单元总结 多线程电梯调度问题 思路综述 第一次作业 第一次作业是非常简单的傻瓜电梯，不需要考虑容量，不需要考虑调度策略，运用了基本的生产者消费者模型，而且生产者消费者模型也一直贯穿了三次作业。 第二次作业 按照指导书写了ALS调度方法，在elevator的run方法中，楼层每变化 Read More
第一单元总结 ——表达式的求导 一、思路综述 二、代码分析 结构分析 bug分析 风格分析 三、Hack Hack Hack 四、难点总结 五、感想 一、思路综述 第一次作业 输入处理时，一项一项地用正则表达式进行匹配（本来用大正则，结果爆栈QwQ），其中第一项要单独考虑。创建Polynomial（ Read More