摘要： 目录 一、本单元架构设计 第一次作业 第二次作业 第三次作业 二、四个单元总结及对OO方法的理解 三、测试理解与实践的演进 四、课程收获 五、课程改进建议 六、线上OO课体会 引言 第四单元是OO课程的最后一个单元，主要目标是在理解UML语言的基础上设计一个解析器，把读取的信息以合理的方式存储，并按 阅读全文

摘要： 目录 一、JML语言 理论基础 工具链 二、SMT Solver部署与验证 三、JMLUnitNG 四、本单元架构设计 五、Bug及修复情况 六、心得体会 引言 本单元作业主要聚焦于JML规格下的代码完成与测试，考察了我们对于JML规格的阅读和理解能力，同时还考察了一些基本的数据结构和算法知识，要求 阅读全文

摘要： 目录 一、设计策略 第一次作业 第二次作业 第三次作业 二、第三次作业可扩展性分析——SOLID原则为例 三、度量分析 第一次作业 第二次作业 第三次作业 四、Bug分析 五、Hack策略 六、心得体会 引言 第二单元的三次作业是关于电梯问题的迭代思考。这一单元是我们对多线程问题的初次学习与接触。多 阅读全文

摘要： BUAA面向对象第一单元总结 目录 一、度量分析 第一次作业 第二次作业 第三次作业 二、Bug总结与反思 三、Hack策略 四、对工厂模式的思考 五、对比与心得 引言 第一单元共有三次作业，都围绕正则表达式的求导与优化展开，三次作业呈现递进式关系，每一次作业都在前一次的基础上增加需求，难度由浅入深 阅读全文