摘要:
OO的奇妙冒险 4 总结本单元作业架构 第一次 从UML作业开始,代码的复杂度和对架构的要求真正出现了。不同于以往的作业,在UML中一个好一点的架构带来的是更少的bug,更快的debug和更少的代码量。总的来说,我认为只有UML这两次作业,多项式第三次作业和电梯第三次作业这4次作业才有谈论 架构 的 阅读全文
摘要:
OO的奇妙冒险3——JML与设计规范 目录 JML理论与工具 验证方法与报告 自动样例及其生成与评判 架构设计与重构 bug 心得体会 JML理论与工具 JML是一种通过形式验证,在实现代码之前就保证所写代码正确性的有效手段 总的来说,JML实现了这样一种功能,即设计与实现分离。构造JML的与写代码 阅读全文
摘要:
OO的奇妙冒险 ~多线程入门与魔鬼的优化~ 目录 总体分析 作业内容分析 作业内容总结 互测的收获 公测互测bug分析与总结 优化分析 ~~不太正经的个人自嗨~~ 总体分析 公测 中测(基础与进阶): 这一单元的作业相比于第一单元,在中测方面可以说变得更加简单了。没有了WF的检测,基本上随便写写就能 阅读全文
摘要:
OO的奇妙冒险 ~OOP入门与字符串处理~ 总体分析 公测 中测(基础与进阶): 其实在我看来,从完成作业的角度来说,中测的基础与进阶并没有任何区别,都不能挂,都不太难,都对得分没有什么影响。中测的样例总体来说非常善良,只要是测试过,几乎不会被中测阻拦。checkstyle的规则看似很多,但是在ID 阅读全文