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

图模型的构建可以讲的再详细一点

不错的blog，简洁但是有独道见解

Orz，学弟(妹?)在本单元采用测试方式很值得赞赏，我认为以对象为单元测试确实是个很好的想法，总结思考也十分深入，非常棒的blog！！！ 关于JML自动化测试的话题，我个人感觉现有的计算机体结构系可能不太够，因为计算机不会联想（AI离开数据集就什么都不是了），可能只有真正成功模仿人脑的运作模式，才能

@iuiou 确实qwq（

建议很不错，我们一直都有考虑在第三单元如何采用更好的作业方式来帮助大家理解与使用JML，如果有好的想法，欢迎来报名OO助教！

每一块需要再讲的详细一点

事实上不是所有计算机从业者都能完全控制计算机的一切，我们普通人需要做的只是尽我们所能使用它创造价值（

@春日野草 谢谢学长

@知北游手记 收到，谢谢学长，下次一定注意

@知北游手记 已添加测试方法详述、UML类图、维护图的相关内容。 assignable people[*].messages意为改变部分people的messages属性，使用来源参照exp6官方包的JvmHeap.java的第一处规格注释。

这是一篇经过了认真思考而写出来的博客，其中有很多观点值得深入讨论。 关于JML的作用，以及在什么场景下才能发挥其针对性作用，确实是本单元在设计训练时的重要要点。如果我们以一个飞行控制器为case，那JML的作用一定会体现的更加充分，但是我们没办法去处理这么重的case。回归本质，JML的第一作用在于

扩展部分写的很细致，具有合理性。 单元体会也算比较深刻吧，其中提到了结合junit来开展针对性的测试，相应的内容最好展开补充在测试数据设计部分。吐槽一下，类图的文字太小，图片比较模糊，看不清楚

测试数据部分最好希望能够细致一些，和JML规格结合起来。类图建议自己画，生成的类图看起来比较乱。

测试数据设计部分应展开论述，太简略。

JML是一种建模语言。要说建模语言有什么用，就好比问离散数学中学的那些描述规则有什么用一样，从构造一个具体的程序角度，它的作用是基础性的，不直接体现在代码的算法和性能中。但越是如此，越表明它的作用巨大，要不然为什么那个人去研究这个东西？JML建模语言的一个核心作用是以一种规范化（大家都理解和接受）、

测试数据设计部分提到了基于JML规格来设计边界数据情况比随机生成更有效，这是预期中的情况，最好能展开论述。 看你的架构好像没有建立中间层次的缓存，不知道是不是在代码实现中有相应的考虑。 整体结构清晰，论述清楚

按照作业来阐述架构、测试和bug分析，逻辑较为清晰。架构部分的介绍过于简略，应从建图和维护图的角度深入论述，并提供必要的UML类图。同时也建议在测试数据设计策略方面多一些介绍，以及推荐使用的junit。 people[*].messages这个表达方式是？

关于复杂度和性能的分析很深入。但是所要求的如何基于规格来设计测试数据部分，则语焉不详，建议补充。所附的类图不具有可读性，图太大，字太小，且没有必要的文字解释。扩展部分的设计考虑比较清晰。

ensures (\forall int i; 0 <= i && i < people.length; (\old(getMessage(id)).getPerson1().isLinked(people[i]) && people[i] instanceof Customer) > (\fora

该博客遵循了之前两次博客的架构，但作者应注意本次博客的要求有变化，比如要求论述在自测中如何基于JML规格来设计测试数据。 三次作业的架构分析比较细致和深入。