摘要：第四单元总结性博客作业 本单元作业的架构设计 本单元作业任务是解析UML图，第一次作业是类图的解析；第二次作页是顺序图和状态转移图的解析；第三次作业是对UML图的合法性进行解析。 对于UML图的解析，我采用的方法是对课程组给的Uml类进行再次封装。课程组给的类只含有getId()这种最最基础的方法。 阅读全文

摘要：第三单元总结性博客作业 一、测试部分 测试数据的准备 对于这次的作业，我们可以根据JML规格的描述来构造测试数据，对每一个方法做出专门的测试。任何一个方法的JML规格都是由requires，assignable，ensures三部分组成，对于有不同情况需要有不同操作的方法，会有多个requires( 阅读全文