面向对象设计与构造2022-
2022_BUAA_OO 第三单元总结
2022_BUAA_OO 第三单元总结 一、设计架构 本单元的架构几乎不需要设计，就是按照官方包接口以及其中的JML逐步实现作业中用到了类和异常类。只是为了便于一些图论相关算法，我又添加了边节点类、实现了并查集的数据结构，第二三次作业需要实现的最小生成树以及最短路径的实现由于不需要复用，我都塞进了M -
2022-OO-Unit3
2022-Unit3 一、利用JML准备测试数据 边界数据 边界数据的构造主要由JML规格而来，比如group.size() > 1111人的数据、将3块钱红包发给5个人的数据……构造这种边界数据需要在阅读JML规格时及其细心。 压力数据 压力数据的构造比边界数据简单一些。最简单的压力数据就是N条重 -
面向对象程序设计第三单元总结
面向对象程序设计第三单元总结 一、写在前面 “好的规范总能够比任何编程工具或技术更好地改进程序员的生产力。”—— Milt Bryce，系统方法论之父 经过本单元的学习和训练，我体会到了规格化设计的思想，了解并实践了JML（Java Modeling Language）。三次作业的训练背景是实现一个 -
BUAA OO 第三单元总结
BUAA OO 第三单元总结 JML及数据构造： JML的理解 在本单元的学习中，我们认识了规划化的JML语言，它以类形式化的语言描述了接口的规格，能够有效消除自然语言的二义性。利用JML语言对方法的前置、后置条件进行约束，规定好作用范围等，来有效规定所要实现的规格。 数据构造 本单元数据构造较为容 -
BUAA OO 2022 Unit3 总结
BUAA OO 2022 Unit3 总结 一、自测过程 在本单元的自测过程中，前两次的作业我主要通过JML规格的一些边界条件来自己构造测试数据，测试程序的正确性。比如第一次单元主要测试的是isCiercle函数的正确性，建立不同的person关系图验证正确性。第二单元则是对最小生成树的数据进行测试 -
BUAA OO 2022 第三单元个人总结
OO第三单元总结 一、测试数据准备 JML规格可以有效避免自然语言的表达不准的问题。 JML规格中的前置条件至关重要，本单元中的前置条件会包括许多异常条件，所以在构造测试数据的时候应该完全覆盖各种条件，但是对于不同的测试点应该略有不同的侧重，有时侧重正确操作的测试，有时侧重异常抛出的测试。在本单元中 -
oo第三单元总结
oo第三单元总结 一、总体概述 本单元的作业就是在解读JML规格下完成模拟社交网络以及异常的处理。主要任务就是理解JML，所以相对做起来比较容易。同时要注意JML是一种规格化的语言，只要在完成所描述的任务的条件下、并没有限制所使用的容器、算法等。同时也要掌握一些基本的图算法，比如最短路径和最小生成树 -
BUAA面向对象2022第三单元总结
BUAA面向对象2022第三单元总结 总览 作业内容 本单元的主要作业内容为读JML并实现一个Network，实际上就是对图的一些操作。共有3次作业，为迭代开发。 第一次作业需要实现加人，加关系，求关系图可达性，求关系图连通块个数以及一些异常情况的处理。 第二次作业增加了发消息，求群成员各种 -
BUAA_2022_OO_Unit3 总结
BUAA_2022_OO_Unit3总结 一、任务概述 Java建模语言（JML）是一种行为接口规范语言，可用于指定Java模块的行为。 基于JML规格来实现程序，能够形式化验证程序的正确性，在检查各个模块时，也可以通过本模块的约束进行检查和验证。 第三单元的三次作业均为基于JML语言来设计java -
OO第三单元总结
在第三单元中，我们接触了契约式编程，学习了JML的语法，感受到了它的优点和不足。这一单元的作业与以往两个单元完全不同，我们不再是从零开始编写程序，而要根据给定的JML实现特定接口，使得程序能够正确运行。很明显，这种编程方式更加贴近当下工业界的开发过程。 JML带来了很多改变。一方面，它束缚了我们的手