摘要：
OO unit4 本单元作业的架构设计 本单元我学到最重要的一个概念就是模型化设计，对于我们解析UML模型的结果后，我采取了极为经典的组件图模式来进行。 UML元素管理，我从原有的UML.Models源码中进行抽象，以对象元素为基础，管理关系元素为辅的模式，构建了如下的结构。 类图 顺序图 状态图 阅读全文
摘要：
OO第三单元总结 如何自测 关于如何利用JML规格来准备测试数据这一问题： 首先一开始的时候，尝试使用课程组介绍的工具Junit。但后来发现，该工具的作用主要是能够更佳细致地测试每一个函数的功能正确性。但正确答案、以及数据仍需自己给出。 之后便是根据JML准备测试数据。这一部分，首先是随机测试随机测 阅读全文
摘要：
OO第二次总结 一、架构设计体验 本次作业的主要目的，是实现一个多楼座（A，B，C，D，E）、跨楼座运行，支持换乘，调度等功能的多线程电梯。 对于该问题，我主张采用经典的生产者-消费者模型。从Person类出发，构建了相应的共享资源，Table，Dispatcher等等。 线程及同步控制块与锁 在这 阅读全文
摘要：
OO第一次总结 一、架构设计体验 本次作业的主要目的是实现一个支持求和函数sum(i,s,e,expr)，自定义函数f(x,y,z)，以及三角函数及各种因子的表达式进行拆括号、化简工作。要求最终结果复合表达式定义，且没有多余括号。 对于该问题，我将按照课上所示输入处理（Parser...）、 阅读全文