面向对象设计与构造2022 (北京航空航天大学 - 计算机学院)

  • OO第三单元总结

    OO第三单元总结 一、根据JML规格构造测试数据 由于JML规格自身描述的清晰性,只要正确遵循JML规格去进行代码撰写,一些简单直白的方法只需要手动构造基础样例进行基本测试即可。 针对异常的测试,这需要考虑到一些极端且易混淆的情形。比如第一次作业中的点与自己之间的一些情形: qv 1 1 //查看一
    朱睿达   2022-06-06 15:57   0   18
  • BUAA OO Summary3

    #OO Unit3 Summary Part1:自测数据 单条指令 直接采用随机数的方法生成 ```python def ap(persons,groups): id = random.randint(0, 2147483647) if id not in persons: persons.appe
    阿莫誒   2022-06-06 15:55   0   20
  • 第三单元实验总结 | TrickEye

    第三单元实验总结 | TrickEye 基本情况部分 这篇帖子为什么会在这? 这是北航计算机学院面向对象构造与设计2022春季课程第三单元的总结博客 本次作业的要求是什么? 根据课程组提供的JML形式语言,实现一个简单的社交网络建模程序,按要求完成对该社交网络的信息查询功能。 自测篇:如何构造测试数
    TrickEye   2022-06-06 15:54   0   35
  • OO第三单元作业总结

    OO第三单元作业总结 一、综述 第三单元的主要内容以及核心就是根据JML规格来补充相应的功能代码,建立一个包含人,消息,群组的复杂社交网络。而JML的指导作用在这三次作业中体现地淋漓尽致,也让我明白了规格化设计的强大之处。JML规格包括常规行为和异常行为,而在每个行为的背后由前置条件,副作用,以及后
    谷小来   2022-06-06 15:50   0   15
  • OO第三单元总结

    OO第三单元总结 数据构造 ​ 基于JML规格构造数据本质上就是检查方法能否满足功能与异常情况, 异常检验 ​ 异常一般看的是前置条件,分为抛出型异常以及隐性异常。 ​ 比较常见的是抛出型异常,对于该种异常的检验,我们应针对触发异常的条件专门去构造数据,从而检查程序能否正确抛出相应异常,做到不重不漏
    kingimtk   2022-06-06 15:50   0   11
  • OO第三单元总结

    BUAA_OO_2022_第三单元总结 OO第三单元作业主题为JML规格,具体的任务是实现简单社交关系的模拟和查询,阅读官方包接口中方法的JML规格之后在自己创建的类中实现,下面我分享一下我在本单元的学习心得和作业完成情况。 第一次作业 架构设计 在第一次作业中,我们需要自己建立MyGroup,My
    hdd1211   2022-06-06 15:49   0   18
  • BUAA_OO_2022 第三单元总结

    一、单元目标 模拟实现一个社交网络系统,实现此社交网络成员、组、消息、成员关系的管理、查询和处理;熟悉JML规格化语言;巩固图论知识,如最短路径、最小生成树;了解JAVA异常处理机制 二、第九次作业 2.1 难点 query_circle: 判断成员之间是否连通 query_block_sum: 判
    huaimaomao-Official   2022-06-06 15:49   0   12
  • OO第三单元总结

    一、架构设计 1.对于社交网络模型的理解 1.1 Person: person是社交网络模型中最基本的元素,每一个person相当于图中的一个个结点,他们存储了各种相关的信息。person也是我们操作时的基本对象,他们之间的交互、关系的连接、互相发送消息的行为,都是我们用来构成社交网络的基本元素。
    KKbecomesbald   2022-06-06 15:48   0   14
  • OO第三单元总结

    OO第三单元总结 一、作业分析 1、第一次作业 (1)作业要求简述 第一次作业要求通过实现官方接口 Person、Network、Group,来实现自己的 MyPerson、MyNetwork、MyGroup类,并最后能实现以下指令: 指令 简写 add_person ap add_relation
    哇哈哈小太阳   2022-06-06 15:48   0   12
  • BUAA_OO_第三单元总结

    1. 概述 这个单元的主要任务就是根据官方包接口给出的规格来实现相应的方法,从而构建一个社交网络系统。 其中有3个主要的类:Network, 负责社交网络上一切活动的管理;Group, 管理社交网络上的群组;Person,表示社交网络上单独的人。 最终的实现效果是通过Network类向外提供的方法,
    ever_garden   2022-06-06 15:47   0   7