摘要： （1）第四单元两次作业的架构设计 第一次作业： 第一次作业是解析UML类图，首先需要对输入进行处理，在构造函数里判断元素类型然后进行存储，大部分用的是HashMap。 指令中输出实现的接口我用的是深度遍历，然后容易出错的是空指针异常，在很多地方都需要HashMap的get()方法，最后还是有一个地方 阅读全文

摘要： • (1)梳理JML语言的理论基础、应用工具链情况 JML 为说明性的描述行为引入了许多构造。这些构造包括模型字段、量词、断言的可见度范围、前提条件、后置条件、不变量、合同继承以及正常行为与异常行为的规范。使用JML来声明性地描述一个方法或类的预期行为可以显著提高整体的开发进程。 JMLUnitNG 阅读全文

摘要： OO第二单元总结 第五次作业 1， 设计 单电梯傻瓜调度，创建输入线程和电梯线程，再创建一个调度器的类，里面有一个共享队列BlockingLinkedQueue，输入线程调用addPerson方法将请求加入到队列中，电梯线程调用pollPerson方法从队列中取出请求开始运行，对共享对象调度器里面的 阅读全文

摘要： 第一单元：表达式求导 第一次作业 分析 使用正则表达式识别出表达式的每一项，对每一项进行求导，直接把求导结果加入到字符串并未考虑优化。 度量 可以看出setItem方法iv(G)和v(G)最高，这是求导方法，对每个项进行判断类型，采用不同的求导方式。 类图 第二次作业 分析 与第一次作业相比，第二次 阅读全文