OO 第三单元总结 架构设计 图模型构建 本单元中我们已经构建的图就是 Network，图中的节点是 Person，图中的边是 Relation，节点之间的连接通过 Person 类中的 Association 这个数组实现，实际上应该是一个邻接表的结构。但为了之后对最短路径以及最小生成树的实现方便以及更方便拓展，我们
「BUAA OO」第三单元总结 目录「BUAA OO」第三单元总结零、写在前面1、任务简介2、JML3、架构设计一、性能与优化通用优化第一次作业第二次作业第三次作业二、测试数据构造随机数据手搓数据正确性检验时间测试三、bug分析自身bug他人bug（互测前）互测bug四、功能拓展任务需求分析解读
OO第三单元总结 作业架构及分析 hw9 基本要求 根据JML规格实现自己的几个类，构建一个社交网络查询和模拟系统，完成\(ap\)、\(ar\)、\(qv\)、\(qps\)、\(qci\)、\(qbs\)、\(ag\)、\(atg\)、\(dfg\)指令。 基本设计（架构&图模型构建与维护） 整体架构方面，各种指令大体按照JML规格按部就班
OO第三单元总结 一、梳理架构设计 1.1 整体架构分析与图的模型构建 1.1.1 架构梳理 这一单元的作业要求我们完成一个简单的社交关系网络，其最终结构大致如下： 人（person）是社交网络中的基本节点 每个人有自身的属性：年龄、社交值、钱数 人与人之间的联系由关系（relation）描述，关系具有其
BUAA OO Unit3 —— Java Modeling Language(JML) by Monument_Valley 0. 写在正文前 本篇博客是对笔者在北航2022年春季《面向对象设计与构造》课程第三单元的三次作业的总结。 本单元的主要任务为：学习JML语言，学会阅读并撰写JML，理解契约式编程，并在助教已给出的JML规格下完成一个
本单元根据给出的JML规格实现一个社交网络模型，同时为了让我们阅读理解一些复杂的JML规格，涉及了图论的一些算法。这部分的JML还是较难以理解的，并且一些指令的实现也不能完全按照JML所给出的方法去实现不然容易超时，在满足JML规格的要求下还需要进行很多的优化。 从JML的角度构造测试
OO_Unit3 一、架构设计 本单元所处理的图网络结构的核心部分为 Person （对应点）与 Relation（对应边），当然，考虑到社交网络的真实情况，我们还引入了 Group （由 Person 构成的集合，可以类比为圈子）。在后续迭代开发过程中又引入了一系列 Message 作为 Person 之间的交互手段。 综上，我们考虑主
目录前言一、架构设计1. 第一次作业2. 第二次作业3. 第三次作业二、测试数据准备三、性能分析1. query_circle与query_block_sum2. query_group_value_sum3. query_least_connection4. send_indirect_message四、Network拓展五、学习体会 前言 本单元围绕JML进行规格化设计，契约式
目录总述一、基于JML规格准备测试数据二、架构设计与图模型构建和维护策略2.1 第一次作业2.2 第二次作业2.3 第三次作业三、性能问题和修复情况四、NetWork 的扩展4.1 要求4.2 规定4.3 实现五、心得体会 总述 本单元的任务是实现简单的社交网络关系的模拟和查询， 包括人与人互动、
第三单元总结 一、 本单元自测过程中如何利用JML规格来准备测试数据 本单元自测过程一般分为两个方面: (1)定点爆破: 针对JML规格当中的每一个条件的触发点进行有针对性的爆破,看一下每个条件下能否按要求抛出错误或者完成指定操作内容. (2)重复爆破 重复爆破可针对某一种情况重复
OO Unit3 Summary 目录 一、测试方法 二、架构设计及图模型 三、性能问题及修复 四、扩展作业 五、学习体会 一、测试方法 本单元我采用的测试方法分为两种：一是针对某些复杂指令，基于其JML规格的测试，保证单个方法运行的正确性；二是随机数据生成测试，从全局保证程序正确性
BUAA_OO_2022 第三单元总结 目录BUAA_OO_2022 第三单元总结O.前言一、架构与性能分析1.1 UML类图1.2 hw91.3 hw101.4 hw11二、测试与bug分析测试部分bug总结三、NetWork接口扩展核心业务规格四、思考与感想 O.前言 本单元主要内容是学习理解JML语言，在此规格的限制下进行迭代开发，完
OO第三单元总结 一、写在前面 何为契约式编程？何为规格？为什么要使用JML语言？我认为如果不把这些问题梳理清楚的话其实很难体会为何课程组设置了此单元。 1、契约式编程 1.1 历史 来源于Wikipedia： The term was coined by Bertrand Meyer in connection with his design of the Eiffe
BUAA_2022_Unit3总结 分析在本单元自测过程中如何利用JML规格来准备测试数据 根据是否触发异常来准备测试数据 JML规格一般包含normal情况的输入数据和会触发异常的数据，构造和输入normal情况的数据要保证不会触发异常，而构造和输入异常数据则要保证异常的顺利触发。 @ public norma
2022 OO 第三单元总结 一、利用 JML 规格准备测试数据 首先是对于 JML 规格的理解。通过阅读 model 可以初步了解需要维护的对象，针对每个方法按照 normal_behavior 和 exceptional_behavior 进行划分，先实现异常行为判断，再按照 requires 条件分别实现正常行为。对于比较
第三单元总结 关于自测 我的构造数据主要是根据JML规格里构造相应的测试数据的，针对于一个函数或者一条指令来构造相应的函数，我也想过写一个数据生成器，但后来发现根据JML规格来进行一些测试貌似更加方便一些，于是便开始了Junit测试。这样可以使得数据尽可能得覆盖到所有的情况。当
BUAA OO 第三单元总结 如何利用JML规格来准备测试数据 如果要"利用JML规格来准备测试数据"，我认为最重要的就是能够测试到方法的每一种行为 上图中红线标注的部分即为每一种行为的前置条件。在对方法进行单元测试时，可以分别构造满足每一种前置条件的数据，观察方法能否正确地返回或
一、结构分析 （一）第一次作业 1、作业要求 本次作业要求为根据Group，Network，Person三个接口内部使用JML语言描述的方法，实现相应的三个类，模拟一个社交网络中的群体、个体及其关系；实现六个抽象异常类，要求具有计数功能。 2、模型架构 首先构建三个基本类MyGroup，MyNetwork，MyPerson。MyGro
BUAA_OO_2022 Unit3 总结 一、JML与测试 JML是对Java程序进行规格化设计的一种表示语言，它可以消除二义性，帮助我们更好的完成代码。在经历了三次作业后，我对其有了更深的了解和认知。首先就是JML语言相比自然语言确实更加严谨，但一个关键的问题在于，写者要考虑全面通过JML限定完全
目录一、需求分析1、第一次作业2、第二次作业3、第三次作业二、方案实现1、第一次作业2、第二次作业3、第三次作业4、架构设计，图模型构建维护总结三、测试数据准备四、bug分析五、Network扩展六、心得体会 一、需求分析 1、第一次作业 通过实现官方的Person、Network、Group接口来
综述 本单元的主要任务是实现简单社交关系网络的模拟和查询，主要考察基于JML规格的理解和代码实现，一些基本算法的掌握以及程序性能与正确性的测试考量。三次作业的任务相仿，均是基于JML规格实现相应接口的方法，并分别掌握一个基本算法，分别为并查集算法、最小生成树算法和最短路径算法
如何根据JML规格构造自测数据： 本单元自测环节我没有使用Junit工具，我采用的是最笨的方法--枚举每个指令的执行效果构造不同数据。首先我找到每条指令执行时会调用哪些函数，然后阅读JML规格中这些函数的执行效果，为各个执行方向构造不同的数据。函数的异常情况相对简单，且各个函数
OO第三单元总结 OO第三单元总结摘要第9次作业架构设计优化和维护策略第10次作业架构设计优化和维护策略第11次作业架构设计优化和维护策略异常类的实现自测策略互测过程bug分析Network拓展学习体会 摘要 本单元的主要任务是根据JML规格来撰写代码，JML作为一种行为接口规格语言，可
BUAA OO 第三单元总结 JML规格和测试 本单元的主题是根据JML规格编写代码，架构设计方面只需要严格地按照JML规格即可。相应地，在测试方面也可以根据JML规格进行相对应的测试。课程组的建议是使用JUnit，但是在简单尝试后觉得时间成本比较高，加上舍友完成了对拍机，遂选择和舍友对拍进
OO第三单元总结：开展软件测试 一、测试思路 本单元采用测试的方法为白盒静态测试+黑盒动态测试。 本单元并没有采取单元测试，主要原因为一方面个人认为在本单元中更适合对集成模块开展测试（单元测试并不适合测时间复杂度以及数据流），另一方面在互测阶段单元测试也会带来不必要的时间开
