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