2022-OO-Unit3 mashiroly 1. 概述 又到轻松愉快的博客周了（赫赫，hw13似乎不是很容易呢），回顾一下过去一个月做了什么吧。 本单元的目标是学习基于规格的层次化设计，需求是在JML规格的指导下，实现一个模拟社交关系系统。作业重点是阅读和理解JML规格，掌握异常处理和测试方法，体会设计和实现
OO_Unit3 一、架构设计 本单元所处理的图网络结构的核心部分为 Person （对应点）与 Relation（对应边），当然，考虑到社交网络的真实情况，我们还引入了 Group （由 Person 构成的集合，可以类比为圈子）。在后续迭代开发过程中又引入了一系列 Message 作为 Person 之间的交互手段。 综上，我们考虑主
OO Unit3 Summary 目录 一、测试方法 二、架构设计及图模型 三、性能问题及修复 四、扩展作业 五、学习体会 一、测试方法 本单元我采用的测试方法分为两种：一是针对某些复杂指令，基于其JML规格的测试，保证单个方法运行的正确性；二是随机数据生成测试，从全局保证程序正确性
BUAA_2022_Unit3总结 分析在本单元自测过程中如何利用JML规格来准备测试数据 根据是否触发异常来准备测试数据 JML规格一般包含normal情况的输入数据和会触发异常的数据，构造和输入normal情况的数据要保证不会触发异常，而构造和输入异常数据则要保证异常的顺利触发。 @ public norma
BUAA_OO_2022 Unit3 总结 一、JML与测试 JML是对Java程序进行规格化设计的一种表示语言，它可以消除二义性，帮助我们更好的完成代码。在经历了三次作业后，我对其有了更深的了解和认知。首先就是JML语言相比自然语言确实更加严谨，但一个关键的问题在于，写者要考虑全面通过JML限定完全
第三单元总结 一、自测利用JML规格准备测试数据 白盒测试 这一部分其实不涉及构造数据，但是确是至关重要的。个人感觉在写完所有代码后，只有自己把代码对应JML规格每个方法重新梳理对照一遍，才能一定程度上保证这次作业的正确性——这是来自白盒测试的安全感。 由于本单元的正确性
目录心得体会自测历程架构设计第九次作业第十次作业第十一次作业性能分析扩展任务 心得体会 丈育最近没有读书，所以玩不了前两次总结的文摘花活了 本单元的难度总体来说还是比较小（shui）的，因此也帮助本人为同期的其他事务挣得了更宽裕的时间，不胜感激。阅读 JML 约束并遵照它进行代
BUAA OO Unit3` 总结 1 架构设计 1.1 Homework9 第九次作业训练目标是实现简单社交关系的模拟和查询。本次作业我一共实现了MyPerson、MyGroup、MyNetwork以及六个异常类。 MyPerson： 每一个由MyPerson类实例化的对象都是一个人，可以抽象为一个结点，有自己的name、age和独一无二的i
2022-Unit3 一、利用JML准备测试数据 边界数据 边界数据的构造主要由JML规格而来，比如group.size() > 1111人的数据、将3块钱红包发给5个人的数据……构造这种边界数据需要在阅读JML规格时及其细心。 压力数据 压力数据的构造比边界数据简单一些。最简单的压力数据就是N条重复指令
一、JML及数据构造 在本单元的学习中，我们首次接触到了JML语言 (Java Modeling Language)，即java建模语言。它以一种数学语言的方式，明确了所需求的规格，消除了自然语言的歧义性。它通过前置条件、后置条件、作用范围等来对每个所需要的方法进行限制和描述，以一种不变的格式和状态约束
目录BUAA-OO-Unit3总结测试数据图模型构建与维护图存储最小生成树最短路径作业出现的性能问题及修复情况第九次作业第十次作业第十一次作业Network扩展sendAdvertiseMessage()buy()querySales()学习体会 BUAA-OO-Unit3总结 本单元的主要内容是契约式编程，只需要根据官方提供的jml来
2022_OO第三单元总结 一、架构分析 1.hw9 基础架构和基本功能的搭建 hw9作为第三单元的第一次作业，基本上还是带我们熟悉jml的基础语法，搭建好整体的框架，实现一些基础功能，并在此基础上进行一些简单的优化。 基础架构 hw9中每个类的结构大致如下： //MyNetwork public class My
pose posture expose bare barely rare postpone dispose disposition compose composite composition component composure deposit impose oppose opposite passive positive negative neutral opponent object objective sake impersonal impartial eject reject project p
第三单元作业总结 一、总结分析实现规格要求所采取的设计策略 本单元作业为实现JML规格所描述的代码实现，由于本单元作业的程序主干逻辑已经实现，只需要根据JML规格的描述，实现功能就能完成，所以本单元的作业的代码逻辑设计难度比较低，主要难度在于部分实现的代码的时间复杂度。 在具
BUAA OO UNIT3 一、实现规格的设计策略 为了实现规格，我通过以下的策略来对规格进行分析、总结，在整体把握之后，再由简入难，最终完整地实现规格。 之所以采用这样的分析模式，是因为Network是几个相对比较独立的类(Person;Message(不同种类的）;Group;各异常类）的综合
1 JML语言的基础及应用 1.1 JML语言 Java建模语言（JML）是一种行为行为规范语言，可以使用给定Java模块的行为。 为了支持JML语言的轴论，我们将Eiffel的“合同设计（contract design）”方法与Larch系列框架规范语言的基于模型的规范方法相结合。 主要文章为以下三篇文章。 一些要素。 1.2 J
OO_Unit3 第一次作业分析 1.bug分析 这次作业中出现了两个bug，首先是忽略了各种情况下PersonId相同的情况，这一点是在规格中有明确说明的，在测试中也忽略了这种情况导致出现了WRONG ANSWER问题。其次是在图的连通性问题中采用深度优先的遍历方式算法复杂度过高出现了CTLE的情况，修改
BUAA-OO Unit3 JML规格 第三单元的作业主要是根据给出的接口和JML规格实现一个可以进行分组、发送不同种类信息、统计可达性、最短路径和相关数据的小型社交系统，应用到了一些图的相关知识。总体而言，实现JML规格完成大部分功能难度并不大，但在细节上容易发生疏漏；而性能的优化也是一
OO Unit3 单元总结 总结分析自己实现规格所采取的设计策略 采用合适的数据结构 规格中给出的数据规格往往用数组来存储变量，这种存储方式导致每次根据 id 查找对应的对象时，必须遍历整个数组，时间复杂度为 O(n)。 而根据本次作业中每个元素（Person, Group, Message) 的 id 都是唯一的
Unit3 JML(Java Modeling Language) 是用于对 Java 程序进行规格化设计的一种表示语言，它对于方法内部具体是如何实现的并无要求，只是对方法的接口以及行为进行限制，具体来说就是对方法里面允许接受的数据，可以做出的改动，必须返回的数据，异常表现等进行限制，最终保证方法的无二义性。
General English:7 Unit3 Interviewing for a job Vocabulary applicants,inflexible,unreliable,references,quick learner,great with people,strengths, that's for sure,to be honest. Reading I'd like to schedule an appointment for an interview. Cente
daunt: /dɔːnt/ v. to cause to lose courage 使胆怯. Their guide deserted them, but, nothing daunted, they pressed on into the jungle. 向导离他们而去, 但是他们毫不气馁, 仍向丛林中进发。 Even a greater natural calamity cannot daunt us. 再大的自然灾害也
JML（Java modeling language) 是一种利用形式化描述对数据、方法进行约束的语言，包含数据规格、方法规格、迭代器规格。通过JML的形式化描述，建立功能、开发者、程序之间的契约，可以对程序扩展时的稳定性、测试时的全面性产生较大的提高。 作为一种形式化方法，其理论基础是形式语言，通过
一.JML语言理论基础与应用工具链 1.JML简介 JML(Java Mudeling Language)是一种语言行为规范，通过规范化的语句描述，约束了模块的行为。JML既可以用于规格化设计，又 可以用于针对已有代码的JML规格书写，提高代码的可读性与可维护性。
第三单元OO作业总结 本单元的作业主要针对JML建模语言进行训练，建立对于方法规格和数据规格的认识，学习了契约式编程(Design by Contract)的编程方法与规格化设计理念。现对这一单元做一个小结。 JML语言理论基础 JML以Javadoc的注释形式表示规格，每个方法的规格均在该方法的前
