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

  • BUAA-OO-UNIT3-JML

    JML规格及测试: JML规格: JML规格提供了一种对于数据的约束,通过更加形式化的语言来对于前置条件、后置条件进行约束,从而保证程序在正确执行后能得到正确的结果。 总体来说,JML规格相较于平时使用的自然语言来说更加复杂,这在作业中也有很明显的体现,例如最短路、最小生成树的描述,让人看着感到不适
    Satom1shihara   2022-06-06 12:27   0   5
  • 面向对象设计与构造 第三单元总结

    利用JML规格准备测试数据 没有使用Junit工具,而是采用生成大量数据与同学程序对拍的方法。为了保证数据的覆盖率,采用以下几点措施: 1、在数据开始时添加大量的点,减少无用的加边操作。 2、灵活控制每条指令的权重,根据测试的需要进行调整。 3、为了构造特殊数据,在每次生成数据前随机把一部分指令的权
    Kakki_Haruka   2022-06-06 12:13   0   9
  • BUAA-OO-2022 Unit-3 博客总结

    BUAA-OO-2022 Unit-3 博客总结 本单元的目标为熟悉JML规格,任务是构建一个包含人、组、网络、消息的社交网络。在维护过程中,我们需要通过某些算法来进行优化以缩减查询时间。抽象来讲,人可以视为社交网络中的一个节点;一个组可以视为社交网络中的连通图;而整张网络可以视为图;人与人的关系便
    yufu06   2022-06-06 12:10   0   10
  • BUAA OO 第三单元总结

    BUAA OO 第三单元总结 本次作业相对来说比较简单。JML规格已经给出,只需要根据规格写出代码。关键部分在于要对于几个函数作出一定的性能优化,以便于缩短程序运行时间。 一. 测试数据 本次作业相对来说比较简单,数据的形式也不复杂,因此测试主要是通过随机生成数据的方式进行测试。 在刚刚完成的程序测
    徐俊响   2022-06-06 12:10   0   12
  • OO_Unit3_单元总结

    OO_Unit3_单元总结 Part1 架构设计和图模型构建 架构分析 本单元三次作业的整体架构和关键方法已经由JML规格给出。我们可以通过课程组给出的JML规格清晰地整理出各个类之间的关系,我们拿第三次作业的JML为例: //NetWork /*@ public instance model no
    Selabarsayes   2022-06-06 12:05   1   4
  • BUAA - OO - 第三单元作业总结

    This is an abstract
    Ph_D   2022-06-06 11:53   1   10
  • BUAA_OO_第三单元总结

    OO第三单元总结 第三单元要求了解JML语法和语义,并根据JML给出的规格编写代码,从而实现一个简单的社交关系模拟和查询系统,关键在于要准确的理解JML规格。 一、架构设计与算法性能优化 整体图模型建构 这一单元作业的背景是一个社交网络,层次有三层:Network,Group和Person,本质就是
    Misivoay   2022-06-06 11:52   0   7
  • BUAA_OO_2022_U3_JML规格

    第三单元总结 一、测试数据的准备 通过第三单元的训练项目的学习,我尝试了用JUnit单元测试框架,但是在几次作业的自测中,主要还是使用随机生成数据的方法测试。 随机生成数据主要有三个部分: 1.对每条指令的触发异常部分 在生成数据的最开始就对每条指令的异常处理进行覆盖性测试,主要是测试异常处理的基本
    cchang111   2022-06-06 11:49   1   9
  • BUAA_OO 第三单元总结

    BUAA_OO 第三单元总结 一、架构设计 本单元的三次作业核心是增量开发一个多人聊天系统,由于是迭代开发,所以在此处主要就本单元第三次作业进行分析。 容器选择 为了降低整体的时间复杂度,且本次作业拥有互不相同的Person 、Group等对象拥有互不相同的id的特点,所以在用到容器时许多我都是优先
    GOOD__BOY   2022-06-06 11:30   2   23
  • BUAA-OO-U3-JML

    一、总论 第三个单元作为从第二个单元的心态考验中解放的一个单元,很容易让人先入为主的松了一口气。这个单元干的事情确实要之前两个单元要少,这是因为其实我觉得 OO 最体现思维的“架构设计” 部分被 JML 剥夺了(这么说并不严谨,之后分析)。导致确实这个单元的任务重心并不在完成作业本身,这是大部分人呈
    Thysrael   2022-06-06 11:17   1   49