搜索结果
查询Tags标签： JML，共有 14条记录-
面向对象设计与构造 第四单元总结
本单元作业的架构设计 感觉这个单元和上个单元一样，没有什么架构的。 我的做法大概就是根据需求，设计自己的MyClass、MyOperation等类，然后实现需要的功能。对于继承、实现等关系的询问，建出对应的图后暴力解决。 对于\(9\)种合法性检查，建立\(9\)个类分别解决。 这样…
2022/6/29 6:20:14 人评论 次浏览 -
BUAA-OO-Unit 4-Summary
BUAA-OO-Unit 4-Summary 一、第四单元作业架构设计综述 本单元作业要求实现对UML图的解析，处理输入的各个UMLElement，形成对应的关系结构，实现信息的查询。本单元主要考察的是对UML图的认识，同时我个人认为在第三单元的基础上加深了对规格化编程的训练，只不过把JML改…
2022/6/27 23:24:56 人评论 次浏览 -
OOBeiHang Unit4 Report
The UMLParser！ 前言我已听到假期的呼唤！ 目录 一、架构设计 二、四个单元架构设计演变 三、测试的演进 四、课程收获 五、改进建议 一、架构设计本单元对于需要频繁使用的元素类，进行了包装，例如讲UmlClass包装为MyCLass，将Attribute、associations…
2022/6/27 6:20:49 人评论 次浏览 -
OO_第四单元总结
OO_第四单元总结 一、第四单元作业的架构设计 这次作业，我刚刚开始的时候还有些迷茫，通过阅读往届博客我大概了解到，需要先初始化读入的数据。所以我首先将三种图都进行了初始化，初始化其实就是将图进行分层次，先对同层次的元素类型进行构建，从高到低，初始化完，相…
2022/6/24 23:19:56 人评论 次浏览 -
OO2022第四单元总结
OO2022第四单元总结以及课程总结本单元架构设计 UMLMyUml* MyUml*都直接或间接继承自MyUmlElement，每一个MyUml*持有一个Uml*的引用，为了重用和简化代码，提取了一些UML节点的共性，比如MyUmlInterface和MyUmlClase的共同父类MyInterfaceOrClass。MyUml*添加了Uml结构信…
2022/6/23 23:22:20 人评论 次浏览 -
OO第三单元总结
OO第三单元总结 一、自测策略 本次实验最开始是想使用第九次ppt上的openjml来进行测试，但是这个方法实在是太“先进”了，网上几乎找不到他相关的任何资料（除了我们学校大佬写的博客
2022/6/3 23:23:05 人评论 次浏览 -
BUAA OO 第三单元总结
BUAA OO 第三单元总结 一、题目简介 第三单元整体目标为实现简单社交关系的模拟和查询，让我们了解了基本的JML语法和语义，以及具备根据JML给出的规格编写Java代码的能力。 二、架构设计 （一）类图及分析在此仅放出最后一次作业的类图，且去掉了实现的异常类。 本单元作…
2022/6/2 23:23:07 人评论 次浏览 -
OO_第三单元总结
一、测试数据 采用了随机数据+特殊数据的方法准备测试数据 随机数据 采用的生成策略为：纯随机数据+优化。 纯随机策略：设置询问条数上限，随后每个询问都以相同概率随机出现。 分析纯随机生成策略，可知其中\(personNum : groupNum: relationNum : MessageNum = 1 : 1:1…
2022/6/2 23:21:14 人评论 次浏览 -
OO_U3总结
OO_U3总结 一、简介本单元学习了JML进行规格化设计。JML通过前置条件、后置条件、副作用等对方法与类进行约束，而编程者只需要保证自己的代码实现符合JML规约，便可以保证程序的正确性。这大大化简了代码编写过程中的思考，降低了出错的概率，防止方法或者类之间过度耦合…
2022/6/1 23:22:06 人评论 次浏览 -
2021年OO助教工作总结
2021年OO助教工作总结 By Huang J.W. 在大三学年我有幸加入OO课程团队，担负起OO Star的职责。在长达一年的工作中，虽有不少汗水，但同样收获到许多乐趣。我所负责的工作除评测外，还包括pre3及第三单元的教程部分。 关于pre3 pre3是我所接手的第一项工作，主要在大二结束…
2021/7/9 23:36:11 人评论 次浏览 -
2021年OO助教工作总结
2021年OO助教工作总结 By Huang J.W. 在大三学年我有幸加入OO课程团队，担负起OO Star的职责。在长达一年的工作中，虽有不少汗水，但同样收获到许多乐趣。我所负责的工作除评测外，还包括pre3及第三单元的教程部分。 关于pre3 pre3是我所接手的第一项工作，主要在大二结束…
2021/7/9 23:36:11 人评论 次浏览 -
《面向对象程序设计》第三单元 JML 总结
《面向对象程序设计》第三单元 JML 总结 一、实现规格所采取的设计策略首先，类方法规格分为正常行为规格与异常行为规格，在JML书写时习惯将异常部分置后。但实际在进入函数时就进行异常判断才是保险的做法，因为异常抛出的条件往往较为简单，而其互补条件表达式复杂，如…
2021/5/31 12:25:48 人评论 次浏览 -
面向对象程序设计第三单元总结
一、JML规格理论基础JML 中常用的表达式：\old(expr) 表达式用来表示一个表达式 expr 在相应方法执行前的取值；\result 表达式表示方法的执行返回结果；\forall 表达式是全称量词修饰的表达式，表示对于给定范围内的元素，每个元素都满足相应的约束；\exists 表达式是存在…
2021/5/30 20:52:19 人评论 次浏览 -
面向对象程序设计-第三单元博客
第三单元博客 第三单元是对JML规格的初步接触和练习。其初衷是为了以严格的语言来规范代码的书写，避免二义性，传达清晰的信息。总的来说，本单元作业难度不算特别大，但需要对JML的描述进行转化避免性能过差。因此在JML的规格约束下设计合适的架构，进行合理的选择是整个…
2021/5/30 20:50:21 人评论 次浏览
