首页 - 面向对象设计与构造2022 - 北京航空航天大学 - 班级博客

一.自测数据生成本次作业中一大好处是不用考虑输入合法性，非法数据也有相应的异常来处理，这给了数据生成很大的便利，使得生成部分免去了合法性检验。我采用的策略是随机数据，我自己随便选了个比例来生成各个指令，对于复杂度较高的指令，我也专门写了针对该指令的生成数据。这样就对时间上也有了检验。当然我们也会

godel_bach  2022-06-01 16:33  0  21

第三单元总结一、利用JML规格构造测试数据构造思路本单元的接口提供了详细的JML说明，可以以此为根据进行测试数据的构造。在JML中我们主要关注以下三个部分： exceptional_behavior：除了正常的测试数据，这些会导致异常的输入也一定要全部覆盖。如果一个方法存在exceptiona

天机晓梦  2022-06-01 16:26  0  30

OO第三单元总结一、利用JML规格准备测试数据 JML规格能够助力于规格化设计，规格化设计的核心是方法的前置条件、方法后置条件和对象的不变式。方法的前置条件包含了normal_behavior和exceptional_behavior两种情况，因此我们在构造测试数据时需要覆盖到这两种情况

lr20  2022-06-01 16:26  0  25

面向对象第三单元总结〇.单元总览本单元的主要目的是建立一个社交通信网络，代码已由课程组给出，我们只需根据给出的jml规格实现接口即可，主要包括人，群组，网络和各种消息以及各种可能会产生的异常，部分方法涉及图论的相关知识。一.容器选择在jml规格提供的可选属性中，一般提供的都是使用数组类型存储

Hinson520  2022-06-01 16:17  0  42

一、利用JML规格构造测试数据兼顾正常行为和异常行为例如对于ar指令，exceptional_behavior是!contains(id1) || !contains(id2) || getPerson(id1).isLinked(getPerson(id2)) 生成指令时把people_id的

Mmmusel  2022-06-01 16:11  0  37

面向对象2022-第三单元作业总结分析自测过程中如何利用JML规格来准备测试数据根据JML代码，可以枚举出所有的分支，从异常情况再到普通操作，构造具有针对性的测试数据，再检验输出结果是否与预期结果相同。下方的queryValue是一个相对简单的例子。 /*@ public normal_beha

早点明安  2022-06-01 14:53  0  33

第三单元博客作业一、自测过程在自测之间，我一般会反复阅读自己的代码，静态地看一下可能的问题。在第一次作业的时候，尝试使用了JUnit 来构造数据，但是发现构造的时候非常的麻烦，基本上是手动构造。之后就开始使用对拍的方法来测试了……效果似乎还不错。二、本单元的架构设计在本单元中，所谓架构主

RuiLinWho  2022-06-01 12:11  0  33

The SocialNetwork ! 前言 JML是美好的东西，已经写好的JML更是最美好的东西。目录一、架构设计二、性能优化选择合适的数据结构（容器）选择合适的算法一些其他优化方法三、bug分析与测试分析 bug分析测试分析四、拓展规格类的拓展核心业务规格五、反思总结

PangRJ  2022-06-01 10:35  0  46

2022年北航OO第三单元总结单元学习概要本单元的主要学习内容是学习 JML 规格的相关知识，并根据给出的 JML 规格实现一个社交网络的模型，该模型中包括成员、群组以及相互之间的关系和流通的消息，并支持其中各种各样的功能和各种各样的异常。在完成实际规格要求的同时，还需要了解并使用图有关的相关算

yunshilang  2022-06-01 10:10  0  107

BUAA_2022_OO_Unit3_Summary 石以砥焉，化钝为利。第0章总览本单元为按照JML规格实现一个带有并查集、最小生成树、最短路径等算法的简单社交网络模拟系统。当然，JML严谨的描述和保姆级别的指导足以让同学写出正确性的代码，但是并不代表“照搬照抄”的代码可以在性能上取得满意的

`Demon  2022-06-01 00:58  0  77