BUAA-OO-第四单元总结 一、第四单元架构设计 以第三次作业为例，整个架构可以大致分为三个模块，即类图、顺序图和状态图。 类图 类图中主要有三类节点，class、interface和operation。Uml图中的Mould类是ClassNode和InterfaceNode的父类，结合了二者的共有部分，如拥有的属性和方法、ID
本单元是通过输入UML类图、顺序图、状态图来查询其中的元素，相关内容以及检测该UML模型是否符合规范，有些类似于不给JML实现一个第三单元的感觉，依然是比较简单呀，当然这篇博客还包含了对于整个学期这门课程的总结 Unit4架构设计 先上第三次作业的类图，之前的因为每次都是在前一次基础
BUAA_OO 第四单元总结——UML 被OO爱（折磨）了一个学期，终于要结束了，真的有些感慨。回顾这些博客和代码，也真的难以想象自己竟然写了这么多，虽然过程很折磨，但是最后还是坚持了下了，虽然在一次次的作业中我出现了好几次的错误，最后的成绩可能不是那么好，但我还是收获了很多。当我自己真正的
BUAA操作系统课程lab5-2流程逻辑分析 一、前言 lab5-2本身的分值小，但是其理解难度和代码阅读量还是十分巨大的。为了便于大家更好的理解，我将自己个人的理解以这篇博客的形式分享出来，希望能够帮到大家！ 二、lab5-2结构分析 整个lab5-2从内容上可以分为三个部分，第一部分磁盘抽象
BUAA OS Lab5-2分析 前言 说实话，当我做完Lab5-1，我以为Lab5仅仅如此，后面又看到Lab5-2的指导书部分内容比较少，使我更坚信了Lab5是一个轻松的Lab，然而当我读完指导书，对后面几个exercise无从入手时，我才知道我错了。。。 Lab5的代码填写量非常少，但是需要自己阅读数量巨大的代码，同时还要
BUAA OO 第三单元总结 利用JML规格准备测试数据 在课上老师推荐我们用Junit单元测试，但Junit是白盒测试，需要自己手动针对每个方法判断前提和结果约束，非常的复杂，所以最后我还是决定通过黑盒测试。 JML的规格有前置条件和后置条件，只要保证生成的数据能满足所有使用到的方法的前置条
一、测试数据的准备 课程组在第一次作业的时候推荐了JUnit测试。使用JUnit编写单元测试的好处在于，我们可以非常简单地组织测试代码，并随时运行它们，JUnit就会给出成功的测试和失败的测试，并且JUnit的测试是针对于每一个方法来进行的，理论上来说可以做到全面的检测。在尝试使用JUnit的
第三单元总结 一、测试数据的准备 通过第三单元的训练项目的学习，我尝试了用JUnit单元测试框架，但是在几次作业的自测中，主要还是使用随机生成数据的方法测试。 随机生成数据主要有三个部分： 1.对每条指令的触发异常部分 在生成数据的最开始就对每条指令的异常处理进行覆盖性测试，主要
OO第三单元总结 第三单元要求了解JML语法和语义，并根据JML给出的规格编写代码，从而实现一个简单的社交关系模拟和查询系统，关键在于要准确的理解JML规格。 一、架构设计与算法性能优化 整体图模型建构 这一单元作业的背景是一个社交网络，层次有三层：Network，Group和Person，本质就是一个
BUAA_OO 第三单元总结 一、架构设计 本单元的三次作业核心是增量开发一个多人聊天系统，由于是迭代开发，所以在此处主要就本单元第三次作业进行分析。 容器选择 为了降低整体的时间复杂度，且本次作业拥有互不相同的Person 、Group等对象拥有互不相同的id的特点，所以在用到容器时许多我
「BUAA OO」第三单元总结 目录「BUAA OO」第三单元总结零、写在前面1、任务简介2、JML3、架构设计一、性能与优化通用优化第一次作业第二次作业第三次作业二、测试数据构造随机数据手搓数据正确性检验时间测试三、bug分析自身bug他人bug（互测前）互测bug四、功能拓展任务需求分析解读
目录总述一、基于JML规格准备测试数据二、架构设计与图模型构建和维护策略2.1 第一次作业2.2 第二次作业2.3 第三次作业三、性能问题和修复情况四、NetWork 的扩展4.1 要求4.2 规定4.3 实现五、心得体会 总述 本单元的任务是实现简单的社交网络关系的模拟和查询， 包括人与人互动、
BUAA_OO_2022 第三单元总结 目录BUAA_OO_2022 第三单元总结O.前言一、架构与性能分析1.1 UML类图1.2 hw91.3 hw101.4 hw11二、测试与bug分析测试部分bug总结三、NetWork接口扩展核心业务规格四、思考与感想 O.前言 本单元主要内容是学习理解JML语言，在此规格的限制下进行迭代开发，完
BUAA_2022_Unit3总结 分析在本单元自测过程中如何利用JML规格来准备测试数据 根据是否触发异常来准备测试数据 JML规格一般包含normal情况的输入数据和会触发异常的数据，构造和输入normal情况的数据要保证不会触发异常，而构造和输入异常数据则要保证异常的顺利触发。 @ public norma
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，但是在简单尝试后觉得时间成本比较高，加上舍友完成了对拍机，遂选择和舍友对拍进
第三单元总结 一、自测利用JML规格准备测试数据 白盒测试 这一部分其实不涉及构造数据，但是确是至关重要的。个人感觉在写完所有代码后，只有自己把代码对应JML规格每个方法重新梳理对照一遍，才能一定程度上保证这次作业的正确性——这是来自白盒测试的安全感。 由于本单元的正确性
<center>OO第三单元总结博客<center> 李依隆20373457 目录 OO第三单元总结博客 JML与测试数据构造思路 jml学习和阅读心得 相关工具 测试数据构造思路 自动生成数据的思路 正确性评测的思路 算法性能分析和改进 架构和容器 算法分析
BUAA OO 第三单元总结 规格实现策略 本单元的重中之重，便是对于JML规格理解与代码实现 理解并规格的时候，我一般分为下面的几个步骤： 1、先通读一遍规格，结合方法名与具体规格，理解类每个方法的大致功能并简要记录。重点理解方法之间的调用关系，方法之于类的作用等。个人认为不宜读完一
