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

  • OOBeiHang Unit3 Report

    The SocialNetwork ! 前言 JML是美好的东西,已经写好的JML更是最美好的东西。 目录 一、架构设计 二、性能优化 选择合适的数据结构(容器) 选择合适的算法 一些其他优化方法 三、bug分析 与 测试分析 bug分析 测试分析 四、拓展规格 类的拓展 核心业务规格 五、反思总结
    PangRJ   2022-06-01 10:35   0   29
  • 2022年北航OO第三单元总结

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

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

    OO_第三单元总结 一、如何准备测试数据 这次单元的三次作业中,我都没有使用 Junit 单元测试来对自己的程序进行测试。 我采用的方法是 静态查找 + 构造特定数据 + 自动测评机对拍 的方式来进行测试。 构造特定数据时,我首先测试每个指令的基本功能,然后依据自己对JML类图的理解,找到一些可能出
    XinTai。   2022-05-31 23:43   0   31
  • 2022 OO 第三单元个人总结

    2022 OO 第三单元个人总结 一、课程内容 本次作业依据课程组提供的JML规格与类的接口,自己实现能达到要求的类。 1. 框架设计 我的框架与官方包相同,并没有进行一些额外的设计。 2. 算法性能 本次作业的难点我认为有两方面,一个是对于JML规格的阅读,另一个就是对于算法的选择。 对于测试限制
    iLoveFox   2022-05-31 23:21   0   18
  • BUAA_OO 第三单元总结——JML

    BUAA_OO 第三单元总结——JML 第三次作业的目的是建立一个社交通信网络,通过JML帮助大家理解并且掌握JML有关内容。说一说一,这单元为了让我们认识到JML,图论的内容还是相当多的,如果我们按照正常JML的规格去写代码的话,最后的结果一定是超市的,这个也是学习JML的一部分,理解起来JML还
    wpy的小黑屋   2022-05-31 22:08   0   28
  • OO Unit3 SNS(Social Network Service)

    OO Unit3 SNS(Social Network Service) 本篇文章从以下几个部分展开:对契约式编程的认识、性能与测试、SNS扩展JML、心得体会 契约式编程 Dbc(Designed by Contract)要求软件设计者为软件组件(通常是接口约束)添加正式的可验证的接⼝,在传统抽象
    Lumyn   2022-05-31 21:57   0   99
  • 面向对象第三单元总结

    北航OO第三单元(JML)总结 本单元的整体任务是学习阅读JML规格,达成契约式编程,最终根据接口的JML规格实现一个多人聊天系统的核心类。 一、测试数据的准备 这一单元的测试就是对于几个指令的测试,对于一些比较简单的方法例如查找总人数,就几乎不可能出错。所以测试数据主要聚焦在为了复杂度而做过优化的
    gdfwj   2022-05-31 21:08   0   23
  • 面向对象设计与构造第三单元总结

    作业分析 题目简述 根据给出的 JML 规格实现并维护一个社交网络的模型,包括人、群组、网络和各种消息,还有各种异常。 涉及图论模型,并查集、最短路和最小生成树算法。 架构设计 按要求实现几个类,每个类里面都使用 HashMap 建立编号到对象的映射,方便查找。 大致如下: //MyNetwork
    Oshwiciqwq   2022-05-31 20:38   0   95
  • 北航面向对象2022第三单元总结(JML)

    北航面向对象2022第三单元总结(JML) 第三单元的作业以设计一个社交通讯网络为目标,帮助大家学习和理解JML的有关内容。值得一提的是,在本单元中,为了让大家更好地认识JML的有关内容和含义,图论的内容设计的相当多。并且,为了让大家有意识地控制自己的程序复杂度,也需要进行一些算法上的优化(并查集,
    2037hanzhe   2022-05-31 19:08   0   48