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

OO第三单元总结一、架构设计 1. 第一次作业 1.1 图模型构建和维护策略：构建： Network是图：每个Person是图上的一个结点，保存在在people列表中；每个Relation是图上的一条边，边的权值和此边两顶点的Person分别保存在此边两顶点Person的value列表中。 Gr

Siazxyyy  2022-06-03 15:07  0  35

一、总览本单元要求按照给定的JML规格实现一个社交网络，通过指令实现添加Person或Relation，消息收发，查询等功能。这一单元的主要目的大约在于了解并熟悉JML规格描述语言，初步体会这种契约式编程思想。在作业的完成上，难度相比之前两个单元小一些，大部分代码只需要读懂JML，对要实

Banana889  2022-06-03 14:30  0  27

罗夏0324  2022-06-03 13:30  0  21

第一次作业总结架构设计与分析 UML类图架构分析本次作业大部分内容都是基于官方接口的JML描述来实现，在My*类中实现的方法基本都是官方代码中的接口方法。因此，架构也基本和官方要求保持一致。数据结构选择因为作业中的各种接口实现都涉及了查询操作，为了降低复杂度，根据id唯一的特性，通过id-

alonelysnake  2022-06-03 08:55  0  51

OO第三单元总结如何自测关于如何利用JML规格来准备测试数据这一问题：首先一开始的时候，尝试使用课程组介绍的工具Junit。但后来发现，该工具的作用主要是能够更佳细致地测试每一个函数的功能正确性。但正确答案、以及数据仍需自己给出。之后便是根据JML准备测试数据。这一部分，首先是随机测试随机测

carkham  2022-06-03 01:25  0  31

BUAA OO 2022 UNIT 3

LCXKevin  2022-06-02 23:46  0  34

这个单元好磨练耐心QAQ

Arthurinnng  2022-06-02 21:28  0  79

BUAA OO 第三单元总结一、题目简介第三单元整体目标为实现简单社交关系的模拟和查询，让我们了解了基本的JML语法和语义，以及具备根据JML给出的规格编写Java代码的能力。二、架构设计（一）类图及分析在此仅放出最后一次作业的类图，且去掉了实现的异常类。本单元作业实现给出每个类的结构以

OutlierXv  2022-06-02 20:45  0  20

北航oo第三单元总结基于JML规格的测试策略第三单元的作业中需要支持的指令数相比前两个单元大大增加，同时每条指令都会收到JML规格的约束，在特定的情况下会有特定的输出或者是特定的异常抛出，并且运行过程中还不能超出最大时间的限制，因此本单元的测试策略我主要分成了两个部分：正确性测试和压力测试。正

瓜子猫  2022-06-02 20:15  0  28

本单元的主角是JML，介绍了JML这一有力的设计工具，考察了利用JML实现代码的能力。一、架构设计和性能优化 1.1 第九次作业目标是实现MyGroup，MyNetwork，MyPerson三个类，实现简单社交关系的模拟和查询,并且实现六个抽象异常类，要求具有计数功能。图结构可以自然地由JML

LetsHurtTonight  2022-06-02 19:29  0  36