面向对象设计与构造2022-
OO_Unit3_Summary
心得体会 丈育最近没有读书，所以玩不了前两次总结的文摘花活了 本单元的难度总体来说还是比较小（shui）的，因此也帮助本人为同期的其他事务挣得了更宽裕的时间，不胜感激。阅读 JML 约束并遵照它进行代码书写的过程给我一种更加工程化的舒适感觉，它让我想起了之前上羽毛球课的时候，搭档同学曾经说过的一句话 -
BUAA-OO第三单元总结
<center>OO第三单元总结博客<center> 李依隆20373457 目录 OO第三单元总结博客 JML与测试数据构造思路 jml学习和阅读心得 相关工具 测试数据构造思路 自动生成数据的思路 正确性评测的思路 算法性能分析和改进 架构和容器 算法分析 并查集 Kruskal算法最小 -
2022OO第三单元总结
2022OO第三单元总结 分析在本单元自测过程中如何利用JML规格来准备测试数据 先说结论，压根没测，依然不妨碍三次作业中测一次过强测全满分。 既然作业要求写这一部分，那我就来说一下不测的理由。 首先，第三单元完全就是看JML写代码，我只需要保证代码语义和JML语义相同就可以了，而要保证这一点对大部 -
BUAA_OO_2022 Unit3 总结
BUAA_OO_2022 Unit3 总结 自测过程 数据准备 由于本单元的代码完全基于JML，因此数据生成也主要参考了JML规格。在数据生成器中，我通过参数控制各个指令的出现频率和出现顺序，以尽可能覆盖规格中出现的各类情况。 在此基础上，为了更好地覆盖边界情况以及测试程序的抗压能力，数据生成器支持 -
面向对象第三章总结
面向对象第三章总结 准备测试数据 本单元引入了Junit单元测试，可以针对每个方法自己构造数据测试。但是由于其使用起来需要手动针对每个方法写判断前提和结果约束，相当麻烦，因而关于Junit我便浅尝辄止了。类似之前单元的测试，本单元我还是通过随机生成数据进行测试。 方法的JML规格约束了方法的前提与产 -
BUAA OO 第三单元总结
BUAA OO 第三单元总结 规格实现策略 本单元的重中之重，便是对于JML规格理解与代码实现 理解并规格的时候，我一般分为下面的几个步骤： 1、先通读一遍规格，结合方法名与具体规格，理解类每个方法的大致功能并简要记录。重点理解方法之间的调用关系，方法之于类的作用等。个人认为不宜读完一个方法就实现一 -
面向对象程序设计第三单元作业总结
面向对象程序设计第三单元作业总结 本单元的任务是学习JML的相关知识。在三次作业中，我们根据JML规格实现了一个社交关系系统，深刻体会到了JML规格语言的严谨性，掌握了阅读较为复杂的JML规格的能力。 一、利用JML规格进行程序自测 我在本单元的测试基本通过Junit实现。由于单元作业中，实现的方法 -
OO第三单元总结
OO第三单元总结 一、自测策略 本次实验最开始是想使用第九次ppt上的openjml来进行测试，但是这个方法实在是太“先进”了，网上几乎找不到他相关的任何资料（除了我们学校大佬写的博客:sob:），不是我这种人能够掌握的。所以我的目光移向了第二种方法，即课程组介绍的工具Junit，但是这个方法的 -
面向对象第三单元总结
OO第三单元 JML规格驱动 图算法 -
BUAA_OO_2022_Unit3_Summary
(1) 分析在本单元自测过程中如何利用JML规格来准备测试数据 没有用JUNIT测试方法，主要是针对JML规格中的异常出现情况，以及基本的JML大意来构造测试数据。 (2) 梳理本单元的架构设计，分析自己的图模型构建和维护策略 本单元的架构比较明了，就是简单的网络模型——MyNetWork。 其中有