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

  • BUAA OO 第三单元总结

    BUAA OO 第三单元总结 〇.综述 第三单元训练的主题是规格化设计。在本单元的实现过程中,笔者认为是一个**“戴着镣铐跳舞”**的过程:要在给定的JML的规格约束下,以灵活的数据结构实现规格给定的功能。在这个过程中,JML规格约束给出了逻辑正确性的保证,而数据结构的具体实现是程序性能的决定因素。
    Lingo30   2022-06-06 15:37   0   10
  • BUAA_OO_Unit3总结

    BUAA_OO_Unit3总结 一、整体概述 JML(Java Modeling Language) 是用于对 Java 程序进行规格化设计的一种表示语言,它对于方法内部具体是如何实现的并无要求,只是对方法的接口以及行为进行限制,具体来说就是对方法里面允许接受的数据,可以做出的改动,必须返回的数据,
    走马行川   2022-06-06 15:37   2   14
  • BUAA ObjectOriented Unit3总结

    BUAA ObjectOriented Unit3总结 ​ 概括来说,本单元的任务就是在JML语言所描述的规格下维护一个社交网络系统,实现对该系统的一系列操作。单纯就难度而言,只要跟着规格说的来写就一定不会出错,从这方面来看难度确实不大,但如果完全按照规格来,一定会TLE很多点,所以要在理解规格的基
    praynext   2022-06-06 15:35   0   11
  • BUAA_OO_Unit3总结

    Unit 3 测试数据 正确性测试 通过python实现的数据生成器和对拍器,生成大量随机数据,并和室友对拍,来确保程序的正确性。 时间测试 对于时间复杂度较高的方法,虽然正确性测试没有问题,但可能会有超时的问题,对于此类问题,采取针对性构造数据的方法进行测试。例如query_least_conne
    隐姓埋名4567   2022-06-06 15:34   2   15
  • OO第三单元总结

    OO第三单元总结 一、架构设计 1.第九次作业 本次作业相对简单,没有过多设计。在查询连通块时使用了深度优先搜索。 2.第十次作业 本次作业中的qlc一开始没有看懂,看了讨论区的分析之后,才理解了。 维护了block结构,记录该block内的人和关系(点和边),在添加人时新增block,添加关系时合
    18373189   2022-06-06 15:31   0   6
  • BUAA-OO2022-UNIT3总结

    1. JML基础总结 变量规格 静态规格变量://@public static model non_null int []elements 实例规格变量: //@public instance model non_null int []elements 方法规格 normal_behavior 前置
    火花hhh   2022-06-06 15:30   1   9
  • OO 第三单元总结博客

    OO-第三单元作业总结 作业内容介绍 OO第三次作业的任务是通过给定的JML规格,实现简单的社交关系模拟与查询程序.本次作业实际上只需要严格按照JML规格实现程序,就不会出现bug,大部分测试点都是在卡时间复杂度. 关于作业整体框架 这周的作业有点类似挖空填空.整体代码的框架已经给出,只需要根据课程
    Dofingert   2022-06-06 15:27   1   12
  • 【2022春-面向对象】第三单元总结

    【2022春-面向对象】第三单元总结 写在前面 本单元的主题是JML。 JML是一种形式化的语言,用来对类和方法进行规格化的描述。初见JML时可能需要花一定时间去理解其语法,而且会发现这样的语言理解起来十分费劲。例如一个“求图的最短路径”的方法可能需要几十行的JML描述。 这就是诸如JML这类形式化
    infinity0   2022-06-06 15:23   0   7
  • BUAA OO 第三单元总结

    BUAA OO 第三单元总结 利用JML规格准备测试数据 在课上老师推荐我们用Junit单元测试,但Junit是白盒测试,需要自己手动针对每个方法判断前提和结果约束,非常的复杂,所以最后我还是决定通过黑盒测试。 JML的规格有前置条件和后置条件,只要保证生成的数据能满足所有使用到的方法的前置条件即可
    MrSisyphus   2022-06-06 15:22   0   9
  • 2022-OO-Unit3

    2022-OO-Unit3 mashiroly 1. 概述 又到轻松愉快的博客周了(赫赫,hw13似乎不是很容易呢),回顾一下过去一个月做了什么吧。 本单元的目标是学习基于规格的层次化设计,需求是在JML规格的指导下,实现一个模拟社交关系系统。作业重点是阅读和理解JML规格,掌握异常处理和测试方法,
    mashiroly   2022-06-06 15:21   0   4