-
BUAA-OO-UNIT3-JML
JML规格及测试: JML规格: JML规格提供了一种对于数据的约束,通过更加形式化的语言来对于前置条件、后置条件进行约束,从而保证程序在正确执行后能得到正确的结果。 总体来说,JML规格相较于平时使用的自然语言来说更加复杂,这在作业中也有很明显的体现,例如最短路、最小生成树的描述,让人看着感到不适 -
面向对象设计与构造 第三单元总结
利用JML规格准备测试数据 没有使用Junit工具,而是采用生成大量数据与同学程序对拍的方法。为了保证数据的覆盖率,采用以下几点措施: 1、在数据开始时添加大量的点,减少无用的加边操作。 2、灵活控制每条指令的权重,根据测试的需要进行调整。 3、为了构造特殊数据,在每次生成数据前随机把一部分指令的权 -
BUAA-OO-2022 Unit-3 博客总结
BUAA-OO-2022 Unit-3 博客总结 本单元的目标为熟悉JML规格,任务是构建一个包含人、组、网络、消息的社交网络。在维护过程中,我们需要通过某些算法来进行优化以缩减查询时间。抽象来讲,人可以视为社交网络中的一个节点;一个组可以视为社交网络中的连通图;而整张网络可以视为图;人与人的关系便 -
BUAA OO 第三单元总结
BUAA OO 第三单元总结 本次作业相对来说比较简单。JML规格已经给出,只需要根据规格写出代码。关键部分在于要对于几个函数作出一定的性能优化,以便于缩短程序运行时间。 一. 测试数据 本次作业相对来说比较简单,数据的形式也不复杂,因此测试主要是通过随机生成数据的方式进行测试。 在刚刚完成的程序测 -
OO_Unit3_单元总结
OO_Unit3_单元总结 Part1 架构设计和图模型构建 架构分析 本单元三次作业的整体架构和关键方法已经由JML规格给出。我们可以通过课程组给出的JML规格清晰地整理出各个类之间的关系,我们拿第三次作业的JML为例: //NetWork /*@ public instance model no -
BUAA - OO - 第三单元作业总结
This is an abstract -
BUAA_OO_第三单元总结
OO第三单元总结 第三单元要求了解JML语法和语义,并根据JML给出的规格编写代码,从而实现一个简单的社交关系模拟和查询系统,关键在于要准确的理解JML规格。 一、架构设计与算法性能优化 整体图模型建构 这一单元作业的背景是一个社交网络,层次有三层:Network,Group和Person,本质就是 -
BUAA_OO_2022_U3_JML规格
第三单元总结 一、测试数据的准备 通过第三单元的训练项目的学习,我尝试了用JUnit单元测试框架,但是在几次作业的自测中,主要还是使用随机生成数据的方法测试。 随机生成数据主要有三个部分: 1.对每条指令的触发异常部分 在生成数据的最开始就对每条指令的异常处理进行覆盖性测试,主要是测试异常处理的基本 -
BUAA_OO 第三单元总结
BUAA_OO 第三单元总结 一、架构设计 本单元的三次作业核心是增量开发一个多人聊天系统,由于是迭代开发,所以在此处主要就本单元第三次作业进行分析。 容器选择 为了降低整体的时间复杂度,且本次作业拥有互不相同的Person 、Group等对象拥有互不相同的id的特点,所以在用到容器时许多我都是优先 -
BUAA-OO-U3-JML
一、总论 第三个单元作为从第二个单元的心态考验中解放的一个单元,很容易让人先入为主的松了一口气。这个单元干的事情确实要之前两个单元要少,这是因为其实我觉得 OO 最体现思维的“架构设计” 部分被 JML 剥夺了(这么说并不严谨,之后分析)。导致确实这个单元的任务重心并不在完成作业本身,这是大部分人呈