摘要：OO第四单元总结 本单元架构设计 任务概要 本单元作业要求补全一个UML解析器，实现对UML图相关信息的整合与查询，以及部分规则的规范性验证。具体为第十三次作业实现UML类图相关指令，第十四次作业实现UML顺序图和状态图的相关指令，第十五次实现部分规则的规范性验证。 值得注意的是，本单元的官方包已经 阅读全文

摘要：OO第三单元总结 数据构造 ​ 基于JML规格构造数据本质上就是检查方法能否满足功能与异常情况， 异常检验 ​ 异常一般看的是前置条件，分为抛出型异常以及隐性异常。 ​ 比较常见的是抛出型异常，对于该种异常的检验，我们应针对触发异常的条件专门去构造数据，从而检查程序能否正确抛出相应异常，做到不重不漏 阅读全文