BUAA_2022_Unit3总结 分析在本单元自测过程中如何利用JML规格来准备测试数据 根据是否触发异常来准备测试数据 JML规格一般包含normal情况的输入数据和会触发异常的数据，构造和输入normal情况的数据要保证不会触发异常，而构造和输入异常数据则要保证异常的顺利触发。 @ public norma
面向对象第三单元总结 目录 分析在本单元自测过程中如何利用JML规格来准备测试数据 梳理本单元的架构设计，分析自己的图模型构建和维护策略 按照作业分析代码实现出现的性能问题和修复情况 对Network进行扩展，以及相应的JML规格 本单元学习体会 在自测过程中如何利用JML规格来准
第三单元总结 关于自测 我的构造数据主要是根据JML规格里构造相应的测试数据的，针对于一个函数或者一条指令来构造相应的函数，我也想过写一个数据生成器，但后来发现根据JML规格来进行一些测试貌似更加方便一些，于是便开始了Junit测试。这样可以使得数据尽可能得覆盖到所有的情况。当
北航2022面向对象第三单元：JML规格 内容概括 测试方法 架构设计 性能优化 Network拓展 总结和体会 1. 测试方法 因为本单元的JML语法是清楚且严格的，对于一些特别简单的方法就没必要做测试了。但是对于核心和复杂的方法，可以翻译成自然语言进行测试，同时对also区分开的分支全面覆盖
BUAA OO 第三单元总结 如何利用JML规格来准备测试数据 如果要"利用JML规格来准备测试数据"，我认为最重要的就是能够测试到方法的每一种行为 上图中红线标注的部分即为每一种行为的前置条件。在对方法进行单元测试时，可以分别构造满足每一种前置条件的数据，观察方法能否正确地返回或
2022-面向对象设计与构造-第三单元总结 架构设计 第九次作业 本次作业中图模型相关的方法主要是isCircle和queryBlockSum，二者都是依赖并查集优化。在并查集的实现上，我采用了路径压缩和按秩合并的策略，有效得提高了其查找的性能，尤其是对环形图的查找，可以从\(O(n)\)变为\(O(1)\)。同
BUAA_OO_2022 Unit3 总结 一、JML与测试 JML是对Java程序进行规格化设计的一种表示语言，它可以消除二义性，帮助我们更好的完成代码。在经历了三次作业后，我对其有了更深的了解和认知。首先就是JML语言相比自然语言确实更加严谨，但一个关键的问题在于，写者要考虑全面通过JML限定完全
目录一、需求分析1、第一次作业2、第二次作业3、第三次作业二、方案实现1、第一次作业2、第二次作业3、第三次作业4、架构设计，图模型构建维护总结三、测试数据准备四、bug分析五、Network扩展六、心得体会 一、需求分析 1、第一次作业 通过实现官方的Person、Network、Group接口来
综述 本单元的主要任务是实现简单社交关系网络的模拟和查询，主要考察基于JML规格的理解和代码实现，一些基本算法的掌握以及程序性能与正确性的测试考量。三次作业的任务相仿，均是基于JML规格实现相应接口的方法，并分别掌握一个基本算法，分别为并查集算法、最小生成树算法和最短路径算法
OO第三单元总结 OO第三单元总结摘要第9次作业架构设计优化和维护策略第10次作业架构设计优化和维护策略第11次作业架构设计优化和维护策略异常类的实现自测策略互测过程bug分析Network拓展学习体会 摘要 本单元的主要任务是根据JML规格来撰写代码，JML作为一种行为接口规格语言，可
BUAA OO 第三单元总结 JML规格和测试 本单元的主题是根据JML规格编写代码，架构设计方面只需要严格地按照JML规格即可。相应地，在测试方面也可以根据JML规格进行相对应的测试。课程组的建议是使用JUnit，但是在简单尝试后觉得时间成本比较高，加上舍友完成了对拍机，遂选择和舍友对拍进
OO第三单元总结：开展软件测试 一、测试思路 本单元采用测试的方法为白盒静态测试+黑盒动态测试。 本单元并没有采取单元测试，主要原因为一方面个人认为在本单元中更适合对集成模块开展测试（单元测试并不适合测时间复杂度以及数据流），另一方面在互测阶段单元测试也会带来不必要的时间开
一、分析在本单元自测过程中如何利用JML规格来准备测试数据 我在本单元的自测中主要采取了两种测试方法：普遍测试和专项测试。 所谓普遍测试就是数据生成器生成的数据包含作业指导书给出的所有指令，进行覆盖检查，但是每种指令的测试不一定是边界、极端情形。 而专项测试就是基于JML规
OO第三单元总结 一、测试数据准备 在本单元的作业中，采用了随机构造数据+对拍的方式进行测试 随机数据的生成 针对每次作业中可能会出错的一些方法，在充分理解其JML规格的基础之上对每个方法分别构造数据生成器并进行覆盖 对方法单独测试完毕之后，对一些方法进行组合进行综合测试，进
目录心得体会自测历程架构设计第九次作业第十次作业第十一次作业性能分析扩展任务 心得体会 丈育最近没有读书，所以玩不了前两次总结的文摘花活了 本单元的难度总体来说还是比较小（shui）的，因此也帮助本人为同期的其他事务挣得了更宽裕的时间，不胜感激。阅读 JML 约束并遵照它进行代
OO第三单元总结 一、自测策略 本次实验最开始是想使用第九次ppt上的openjml来进行测试，但是这个方法实在是太“先进”了，网上几乎找不到他相关的任何资料（除了我们学校大佬写的博客
2022-Unit3 一、利用JML准备测试数据 边界数据 边界数据的构造主要由JML规格而来，比如group.size() > 1111人的数据、将3块钱红包发给5个人的数据……构造这种边界数据需要在阅读JML规格时及其细心。 压力数据 压力数据的构造比边界数据简单一些。最简单的压力数据就是N条重复指令
面向对象程序设计第三单元总结 一、写在前面 “好的规范总能够比任何编程工具或技术更好地改进程序员的生产力。”—— Milt Bryce，系统方法论之父 经过本单元的学习和训练，我体会到了规格化设计的思想，了解并实践了JML（Java Modeling Language）。三次作业的训练背景是实现一个社交网
在第三单元中，我们接触了契约式编程，学习了JML的语法，感受到了它的优点和不足。这一单元的作业与以往两个单元完全不同，我们不再是从零开始编写程序，而要根据给定的JML实现特定接口，使得程序能够正确运行。很明显，这种编程方式更加贴近当下工业界的开发过程。 JML带来了很多改变。一方面，
面向对象第三单元总结 fishlife 目录写在前面本单元关键词：图论复习与阅读理解分次作业分析第九次作业图模型构建与维护算法及性能分析测试bug情况第十次作业图模型构建与维护算法与性能分析测试bug情况第十一次作业图模型构建与维护算法及性能分
一、JML及数据构造 在本单元的学习中，我们首次接触到了JML语言 (Java Modeling Language)，即java建模语言。它以一种数学语言的方式，明确了所需求的规格，消除了自然语言的歧义性。它通过前置条件、后置条件、作用范围等来对每个所需要的方法进行限制和描述，以一种不变的格式和状态约束
OO第三单元总结 如何自测 关于如何利用JML规格来准备测试数据这一问题： 首先一开始的时候，尝试使用课程组介绍的工具Junit。但后来发现，该工具的作用主要是能够更佳细致地测试每一个函数的功能正确性。但正确答案、以及数据仍需自己给出。 之后便是根据JML准备测试数据。这一部分，首
一、测试数据 采用了随机数据+特殊数据的方法准备测试数据 随机数据 采用的生成策略为：纯随机数据+优化。 纯随机策略：设置询问条数上限，随后每个询问都以相同概率随机出现。 分析纯随机生成策略，可知其中\(personNum : groupNum: relationNum : MessageNum = 1 : 1:1 : 1\)，显然生成的
BUAA OO 第三单元总结 一、题目简介 第三单元整体目标为实现简单社交关系的模拟和查询，让我们了解了基本的JML语法和语义，以及具备根据JML给出的规格编写Java代码的能力。 二、架构设计 （一）类图及分析 在此仅放出最后一次作业的类图，且去掉了实现的异常类。 本单元作业实现给出每个类
一.自测数据 本次作业我采用的自测策略是根据JML规格中给出的边界条件自造数据进行自测。例如本单元第一次作业的IsCircle函数，可以通过建立复杂图的方式验证算法本身及细节是否正确；第二次作业的queryLeastConnection函数可通过建立含复杂最小生成树的图进行自测；第三次作业
