摘要：一、 基于度量分析程序 第一次作业 刚刚拿到这个作业，我开始简单的认为可以直接使用split方法将表达式字符串按照“+”和“-” 分割，但是后面经过细看，发现问题不这么简单，必须使用正则表达式。 建立项对象，存储表达式所有的项包括系数，指数；使用Derivation_operation类调用Term 阅读全文
OO第四次总结&学期总结
2019-06-24 13:41 by 淑芬狗带, 163 阅读, 0 推荐, 收藏, 编辑
摘要：一、第四单元架构设计 这两次的作业是对UML类图、顺序图、状态图的解析。 第一次作业只是对UML类图的解析，并实现一些基本的查询操作，第二次作业引入顺序图状态图，增加了对顺序图状态图的查询操作，还实现了对类图的有效性检查操作。 这两次作业在架构设计方面我没做好。我只是简单的利用HashMap对一些需 阅读全文
OO第三次总结
2019-05-22 11:00 by 淑芬狗带, 197 阅读, 0 推荐, 收藏, 编辑
摘要：一、JML语言 理论基础： 应用工具链： OpenJML工具可以对规格进行检查， JMLUnitNG工具可以根据规格自动生成测试样例，测试程序正确性 二、部署SMT Solver(选) 三、利用JMLUnitNG，根据规格实现自动生成测试用例，并对测试用例和数据进行简要分析 使用JMLUnit的命令 阅读全文
oo第二次总结
2019-04-23 23:23 by 淑芬狗带, 201 阅读, 0 推荐, 收藏, 编辑
摘要：1.设计策略 第一次电梯作业是傻瓜电梯，就是先来的用户请求先被电梯完全执行，再执行后面的请求。这是一种很简单的生产者消费者的模型。我构造了两个线程，输入线程和调度器线程，还构造了一个请求队列可以插入、取出请求，两个改变队列状态的方法要加同步锁，输入线程负责读取控制台输入，将请求插入请求队列，调度器线 阅读全文