摘要：OO unit4 本单元作业的架构设计 本单元我学到最重要的一个概念就是模型化设计，对于我们解析UML模型的结果后，我采取了极为经典的组件图模式来进行。 UML元素管理，我从原有的UML.Models源码中进行抽象，以对象元素为基础，管理关系元素为辅的模式，构建了如下的结构。 类图 顺序图 状态图 阅读全文

摘要：OO第三单元总结 如何自测 关于如何利用JML规格来准备测试数据这一问题： 首先一开始的时候，尝试使用课程组介绍的工具Junit。但后来发现，该工具的作用主要是能够更佳细致地测试每一个函数的功能正确性。但正确答案、以及数据仍需自己给出。 之后便是根据JML准备测试数据。这一部分，首先是随机测试随机测 阅读全文