摘要： OO的奇妙冒险 4 总结本单元作业架构 第一次 从UML作业开始，代码的复杂度和对架构的要求真正出现了。不同于以往的作业，在UML中一个好一点的架构带来的是更少的bug，更快的debug和更少的代码量。总的来说，我认为只有UML这两次作业，多项式第三次作业和电梯第三次作业这4次作业才有谈论 架构 的 阅读全文

摘要： OO的奇妙冒险3——JML与设计规范 目录 JML理论与工具 验证方法与报告 自动样例及其生成与评判 架构设计与重构 bug 心得体会 JML理论与工具 JML是一种通过形式验证，在实现代码之前就保证所写代码正确性的有效手段 总的来说，JML实现了这样一种功能，即设计与实现分离。构造JML的与写代码 阅读全文

摘要： OO的奇妙冒险 ~多线程入门与魔鬼的优化~ 目录 总体分析 作业内容分析 作业内容总结 互测的收获 公测互测bug分析与总结 优化分析 ~~不太正经的个人自嗨~~ 总体分析 公测 中测(基础与进阶): 这一单元的作业相比于第一单元，在中测方面可以说变得更加简单了。没有了WF的检测，基本上随便写写就能 阅读全文

摘要： OO的奇妙冒险 ~OOP入门与字符串处理~ 总体分析 公测 中测(基础与进阶): 其实在我看来，从完成作业的角度来说，中测的基础与进阶并没有任何区别，都不能挂，都不太难，都对得分没有什么影响。中测的样例总体来说非常善良，只要是测试过，几乎不会被中测阻拦。checkstyle的规则看似很多，但是在ID 阅读全文