摘要：OO第四单元个人总结 一、本单元作业的架构设计 本单元要对UML类图、顺序图、状态图进行解析，对于传入的元素，在MyImplementation根据不同元素的elementType进行分类，分别存入新建的classes、attributes、operations等Arraylist中。在方法的实现中 阅读全文

摘要：OO第三单元个人总结 一、如何利用JML规格来准备测试数据 1、首先保证代码语义与JML语言表达的语义的一致性，在完成代码后认真核对。 2、构造特殊数据，测试前置条件不满足时抛出异常的情况。 3、构造符合前置条件的数据，满足后置条件和约束条件，针对运行结果进行自我判断，或是进行对拍测试。 4、构造边 阅读全文