面向对象设计与构造2022-
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 剥夺了（这么说并不严谨，之后分析）。导致确实这个单元的任务重心并不在完成作业本身，这是大部分人呈