06 2022 档案

摘要：面向对象 第四单元总结 本单元作业的架构设计 通过认真阅读助教给的第四单元手册，我们不难得到UML类图、顺序图和状态图各自的组成元素和整体结构。因此，我们既然要对这三种图进行分析，那么我们分别建立起这三种图的元素及其结构关系即可。 首先是类图，类图中主要有三种元素，分别是Class、Interfac 阅读全文

摘要：面向对象 第三单元总结 基于规格的测试策略 本单元的测试内容可以大致分成两个部分： 首先是代码的正确性测试。由于本单元的主题是契约式编程，所以我们不需要担心在代码架构上的问题；但是很可能出现对于jml理解上的错误，进而导致代码中的bug。这一部分的测试我起初采取了课程组推荐的 JUnit 来单独测试 阅读全文