摘要： 作业架构设计 第十三次作业 第一次作业只有类图解析，因此结构较为简单，在解析元素的过程中建立MyClass，MyInterraction以及MyOperation，并分别管理对应元素即可。 第十四次作业 第二次作业加入了状态图和时序图，我在第一次作业的基础上剥离出了对于各类异常的检查，统一放入了He 阅读全文

摘要： JML单元总结 本单元的重点在于理解规格描述，并在其基础上采用最优的解法尽可能地提高程序的效率，因此本文将从以下四个方面进行总结。 设计策略（思路分析）—— 问题1 容器选择以及性能问题（具体实现）—— 问题3&4 优化结果 —— 问题5 基于JML规格来设计测试的方法和策略 —— 问题2 设计策略 阅读全文

摘要： #作业分析 前三次作业是正则表达式求导，由于对课程的重视度不够以及pre开始的较晚，三次作业都没有有效提交。但是在这期间我多少还是有一些收获的，希望后面的作业能够努力完成。 ##程序结构 因为第一次作业没有有效提交，且基础较差，因此我后续没有再去重构以完成第二次和第三次作业，这里描述一下第一次作业的 阅读全文