BUAA_OO_2022 第三单元总结

• BUAA_OO_2022 第三单元总结
  • O.前言
  • 一、架构与性能分析
    • 1.1 UML类图
    • 1.2 hw9
    • 1.3 hw10
    • 1.4 hw11
  • 二、测试与bug分析
    • 测试部分
    • bug
    • 总结
  • 三、NetWork接口扩展
    • 核心业务规格
  • 四、思考与感想

O.前言

本单元主要内容是学习理解JML语言，在此规格的限制下进行迭代开发，完成对特定社交网络的简单模拟。

一、架构与性能分析

1.1 UML类图

对于阅读jml开发，个人理解通俗来说就是”看注释“写代码，因此在这三次作业中，其实架构大致已经被助教们设计好了，我们要完成的就是填充细节，因此在这里就只放上最后一次作业的UML类图。

1.2 hw9

​ 其实最一开始接触到jml，我个人来讲是比较懵的，但是在通读一遍所给的文档后发现，这个单元的作业还是相对简单的，我们要做的主要将jml翻译成现成的java代码，并保证一定的性能。（虽然说作业简单了，但是个人感觉实验就相对难了不少，毕竟作业更多的是在阅读理解jml，而实验就是要写一些jml，尤其是关于二叉树的一些jml描述，着实令人有些头疼不已）

而在第一次作业中，涉及到性能问题的主要指令就是：

• qci：查询两个结点是否未于同一个连通分量（两个人是否存在联系）
• qbs：查询图中有多少个连通分量（大致意思就是查询有多少个小圈子吧

  标签：OO,&&,int,BUAA,advertiserId,2022,getAdvertiser,public,productNum
  来源： https://www.cnblogs.com/997ddler/p/16343859.html