-
OO_第三单元总结
OO_第三单元总结 一、如何准备测试数据 这次单元的三次作业中,我都没有使用 Junit 单元测试来对自己的程序进行测试。 我采用的方法是 静态查找 + 构造特定数据 + 自动测评机对拍 的方式来进行测试。 构造特定数据时,我首先测试每个指令的基本功能,然后依据自己对JML类图的理解,找到一些可能出 -
2022 OO 第三单元个人总结
2022 OO 第三单元个人总结 一、课程内容 本次作业依据课程组提供的JML规格与类的接口,自己实现能达到要求的类。 1. 框架设计 我的框架与官方包相同,并没有进行一些额外的设计。 2. 算法性能 本次作业的难点我认为有两方面,一个是对于JML规格的阅读,另一个就是对于算法的选择。 对于测试限制 -
BUAA_OO 第三单元总结——JML
BUAA_OO 第三单元总结——JML 第三次作业的目的是建立一个社交通信网络,通过JML帮助大家理解并且掌握JML有关内容。说一说一,这单元为了让我们认识到JML,图论的内容还是相当多的,如果我们按照正常JML的规格去写代码的话,最后的结果一定是超市的,这个也是学习JML的一部分,理解起来JML还 -
OO Unit3 SNS(Social Network Service)
OO Unit3 SNS(Social Network Service) 本篇文章从以下几个部分展开:对契约式编程的认识、性能与测试、SNS扩展JML、心得体会 契约式编程 Dbc(Designed by Contract)要求软件设计者为软件组件(通常是接口约束)添加正式的可验证的接⼝,在传统抽象 -
面向对象第三单元总结
北航OO第三单元(JML)总结 本单元的整体任务是学习阅读JML规格,达成契约式编程,最终根据接口的JML规格实现一个多人聊天系统的核心类。 一、测试数据的准备 这一单元的测试就是对于几个指令的测试,对于一些比较简单的方法例如查找总人数,就几乎不可能出错。所以测试数据主要聚焦在为了复杂度而做过优化的 -
面向对象设计与构造第三单元总结
作业分析 题目简述 根据给出的 JML 规格实现并维护一个社交网络的模型,包括人、群组、网络和各种消息,还有各种异常。 涉及图论模型,并查集、最短路和最小生成树算法。 架构设计 按要求实现几个类,每个类里面都使用 HashMap 建立编号到对象的映射,方便查找。 大致如下: //MyNetwork -
北航面向对象2022第三单元总结(JML)
北航面向对象2022第三单元总结(JML) 第三单元的作业以设计一个社交通讯网络为目标,帮助大家学习和理解JML的有关内容。值得一提的是,在本单元中,为了让大家更好地认识JML的有关内容和含义,图论的内容设计的相当多。并且,为了让大家有意识地控制自己的程序复杂度,也需要进行一些算法上的优化(并查集, -
第三单元总结作业
本单元直接给出基于JML的规格说明,因此在编写程序的时候,只需要认真阅读前置条件以及后置条件,抛出的异常等内容就可以实现代码。规格为数据规格和方法规格两种,而方法的实现需要基于数据的组织形式。 在规格实现中,基于数据类型直接按照规格来写也可以,数组可以使用Java提供的容器类比如Linkedlist -
北航20级oo课程第三单元总结
OO第三单元总结 架构设计: 本单元我们的主要任务是按照jml规格实现接口,主体代码已由课程组撰写完成。UML类图中展示的是第三次作业中自己实现的类以及它们之间的联系。前两次作业的架构大同小异,这里不多做展示。 架构分析: 本次作业涉及到基本的图论知识,在算法实现时,需要格外注意时间的复杂度,这个在 -
第三单元
1. 架构设计 1.1 第一次作业 此次作业的架构比较简单,首先依据Person接口和JML规格来实现MyPerson,MyPerson类生成的每个对象都会有id(编号)、name(姓名)、character(性格)、age(年龄)、acquaintAndVaule(认识的Person和两人关系