摘要： [TOC] OO第四单元总结&期末总结 第四单元总结 这一单元需要解析UML类图、顺序图和状态图，还需要检查类图的有效性。在解析UML类图的过程中，我对UML的整体结构和各种继承、实现的关系更为了解，有了很多收获。 第一次作业 1. 任务需求 这一次作业主要是解析类图，我们通过开源接口得到类图中的一 阅读全文

摘要： JML语言理论基础 JML理论基础 Java建模语言是一种进行详细设计的符号语言，JML能够帮助我们进行代码的规范性设计和规格化设计，借助JML的符号可以清晰准确地表示出方法的功能和规格。通过JML及其支持工具，不仅可以基于规格自动构造测试用例，并整合了SMT Solver等工具以静态方式来检查代码 阅读全文

摘要： 一、第五次作业 1.1 多线程的协同和同步控制 这次作业没有考虑优化，直接使用单个请求单独运送的方式。主要利用生产者-消费者模式，以输入线程为生产者，将电梯作为消费者，调度器作为缓冲区。 一共有两个线程：1. 输入线程，作为生产者。 2. 电梯线程，作为消费者。 每次当输入线程中有了新的请求进入，调 阅读全文

摘要： (一)基于度量来分析自己的程序 第一次作业 思路: 通过正则表达式提取系数和指数并求导. 遇到的问题: 第一次作业主要困扰到我的地方在于正则表达式的书写。 之前利用python写爬虫的时候用过正则表达式，有粗浅的了解。但是在第一次作业用到正则时还是遇见以前没有考虑过的问题，第一次作业的表达式较长，而 阅读全文