06 2022 档案

摘要：#第四单元作业的架构设计 本单元的主题是解析UML模型，主要难点是理解UML模型中各个元素的意义、作用，以及元素之间的关系（根据parentId等建立起树形关系）；代码实现方面相对简单，因为文件解析这一难点已经由课程组解决，我们只需要利用现成的信息建立模型即可。 ##第十三次作业 这一次作业的目标是 阅读全文

摘要：#利用JML规格构造自测数据 在第三单元的学习之后，我认为JML语言就是一种十分精密的语言，它可以避免使用自然语言描述代码功能时产生的模糊性、二义性，因此可以成为需求方（甲方爸爸）与实现方（码农）之间一种可靠的交流语言。 此外，JML语言还有描述具体、逻辑性强的特点。对于每一个方法，JML语言明确定 阅读全文