摘要：
 阅读全文
摘要：
第四单元总结 一、本单元架构 设计思路 使用一个类IdTree来记录各个元素之间的父子关系，类MyUmlInteraction用来实现其余所有功能。三次作业下来需要实现二十多个方法，类MyUmlInteraction写了1000行，架构非常混乱，没有章法。 说白了，这次作业和第三单元一样，还是图论， 阅读全文
摘要：
第三单元总结 一、JML JML的语法课上讲的很清楚，我就谈谈自己阅读JML规格的体会。 requires和ensures成对出现，可以看作对应一个if块。requires就是if块的条件，ensures就是这个if块将要实现的功能。 单就阅读JML规格而言，体验不是很好，因为这个语言非常严谨，总是 阅读全文
摘要：
OO第二单元总结 设计策略 三次作业都是简单的生产者消费者模式。 电梯算法采用最好写的scan算法，前两次性能分还可以，第三次由于加入了换乘需求，性能分全面崩盘。 程序分析（第三次作业，前两次作业略） 度量 类图 代码行数 BUG分析 1 电梯线程的结束条件，以及等待条件没有找对。第一次作业和第三次 阅读全文
摘要：
OO第一单元总结 程序分析 度量 类图 代码行数 BUG分析 中测发现的BUG（9个） 1 ArrayList未使用new构造新的对象 2 把括号换成其他符号，但是没有换回来 3 如果捕获组“P”不存在，那么m.start(“P”)和m.end(“P”)都返回 1，而substring方法要求数组下 阅读全文