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

  • OO第三单元作业总结

    OO第三单元总结 单元概述 本单元涉及到契约式编程,即供应方和用户在各自履行自己的义务,获得自己的利益的情况下,达成某种契约,用契约规定双方的权益和义务。契约式设计强调三个概念:前置条件,后置条件和不变式。前置条件发生在每个操作(方法,或者函数)的最开始,后置条件发生在每个操作的最后,不变式实际上是
    BessiePei   2022-06-06 11:15   0   12
  • OO_unit3总结

    OO第三单元总结 本单元作业的重点在于阅读和理解JML规格,并依据规格接口的要求设计满足条件的具体实现细节。一开始笔者没有特别深入的理解JML的内涵,所以在设计具体实现时会不自觉的跟着规格走,但是很快发现这种方式会带来性能的损失。本单元的核心也就在于此,即在合乎规格限定的范围内尽可能发挥主观能动性
    _反派甲   2022-06-06 11:11   0   17
  • OO第三单元总结

    规格实现总体思路 首先完成所有异常类的书写,方法大同小异(注意输出格式) 优先整体浏览工程中待实现的每一个类的规格。JML语言十分严谨,与此同时细节也非常多,由细节开始理解程序的整体功能不符合人的认知规律也不符合自顶向下的设计原则。理解每个类的整体功能也对理解具体方法的功能有帮助,比如如果可以将My
    myyyyyy47   2022-06-06 11:01   1   9
  • BUAA_OO_2022 第三单元总结

    OO Unit3 Blog 测试数据准备 首先是对相关jml的理解和解读,这一部分首先自己通读jml规格然后根据自己的理解写出代码。对于一些较为复杂的jml规格,与同学交流具体对应实现内容。 对于jml中的规格测试主要是对函数特殊边界情况的测试以及对大量数据的时间复杂度测试。 第三单元设计分析 第一
    tiderem   2022-06-06 10:56   0   9
  • OO 第三单元总结

    OO 第三单元总结 架构设计 图模型构建 本单元中我们已经构建的图就是 Network,图中的节点是 Person,图中的边是 Relation,节点之间的连接通过 Person 类中的 Association 这个数组实现,实际上应该是一个邻接表的结构。但为了之后对最短路径以及最小生成树的实现方便
    百觅   2022-06-06 10:51   0   5
  • #BUAA-面向对象设计与构造 ——第三单元总结#

    BUAA-面向对象设计与构造 ——第三单元总结(JML) 单元主题 完成简单社交网络关系的模拟,并实现一些信息的查询,待完成的函数都已经通过JML规格给出,完全按照规格中的写法进行函数编写可以完全保证正确性,但于时间效率方面会出现问题。 架构设计 这个单元的架构关键在于建立图模型并实现动态图的维护,
    Tian_Kuang   2022-06-06 10:43   0   9
  • BUAA_OO_Unit3 单元总结

    BUAA_OO_Unit3 单元总结 测试方法: 在本单元的测试中,我采取的测试方法主要分为黑盒与白盒测试两种类型。黑盒测试的主要模式就是通过自动数据生成器产生随机数据,然后将结果与多个同学对拍以发现代码中的bug。这样的好处是数据遍历性较广,可以找出一些难以想到的bug,但是自动生成的数据一般条数
    wodsk   2022-06-06 10:38   0   2
  • OO第三单元总结

    OO第三单元总结 任务概述 本单元作业的任务目标是通过实现一个社交关系系统,逐步理解JML规格及其在面向对象设计与构造中的意义,掌握使用JML规格提高代码质量的能力。 测试数据 本单元我主要是通过用Python搭评测机随机生成数据来进行测试。主要策略是先随机生成包含每个指令的数据,查找普遍性的bug
    JcDt   2022-06-06 10:37   1   4
  • oo第三单元总结

    oo第三单元总结 架构设计 模型 维护策略 属性: 因无法预估输入指令,只维护较好维护的属性,如AgeSum等 关系: 因输入指令仅限制条数,对节点二重遍历的复杂度远高于对边的遍历,故需维护每个节点的边集Edges。 连通性的检测最好采用并查集,故须维护人物关系树PeopleTree 性能分析 查询
    后玉洲   2022-06-06 10:32   0   8
  • BUAA_OO_第三单元总结

    OO的第三单元也是正式结束了,尽管相对于前两个单元难度有所下降,但实际上并不能掉以轻心,与前几单元一样,我同样经历了痛苦而又充实的架构构建过程,对于JML也有了新的认识,借此博客作业的机会,聊以抒发一下自己的感触,欢迎大家来看我的博客! 单元分析 本单元要求动态维护一个社交网络,涉及了社交网络中人员
    hxyeverywhere   2022-06-06 10:19   0   8