摘要： UnitFourSummary&Final 目录 一、本单元三次作业架构设计 二、四个单元中架构设计及OO方法理解的演进 三、四个单元中测试理解与实践的演进 四、课程收获 五、改进建议 六、线上学习OO的体会 七、最后 一、本单元三次作业架构设计 第13次作业 第13次作业的输入处理我采取了自顶向下 阅读全文

摘要： UnitThreeSummary 目录 一、JML理论基础与应用工具链情况 二、SMT Solver 三、部署JMLUnitNG/JMLUnit 四、作业架构设计 五、作业代码实现的Bug和修复情况 六、规格撰写和理解上的心得体会 一、JML理论基础与应用工具链情况 1、方法规格： 前置条件 ：通过 阅读全文

摘要： UnitTwoSummary 目录 一、作业设计策略 第一次作业 第二次作业 第三次作业 二、第三次作业架构设计可扩展性 三、度量分析 四、BUG分析 五、Hack策略 六、心得体会 一、作业设计策略 第一次作业 思路： 第一次作业较为简单，只是单部的可捎带电梯。~~但由于笔者博客周摸鱼对多线程啥都 阅读全文

摘要： UnitOneSummary 目录 一、程序结构分析 第一次作业 第二次作业 第三次作业 二、Bug分析 三、测试 四、对象创建模式 五、对比和心得体会 一、程序结构分析 第一次作业 思路： 第一次作业较为简单。由于只涉及到幂函数求导，所以我只抽象除了 多项式 和 单项式 两个类。输入的处理是直接用 阅读全文