BUAA-OO-JML - 相关文章

「BUAA OO Unit 4 HW16」第四单元总结与课程回顾

「BUAA OO Unit 4 HW16」第四单元总结与课程回顾目录「BUAA OO Unit 4 HW16」第四单元总结与课程回顾 Part 0 第四单元作业架构设计架构设计概要 AppRunner官方包代码简析与架构设计初步一.AppRunner工作逻辑和流程 1. 属性 1.1 interaction 1.2 status 2. 行为 2.1 run Step 1 输入与解析模型 Step 2 输入与指令获取 Step 3 输出二.我们的工作 1. 解析和存储元素 1.1 输入顺…

「BUAA OO Pre」Git生成多个ssh key并连接GitLab仓库

「BUAA OO Pre」Git生成多个ssh key并连接GitLab仓库 Part 0 前言写作背景笔者在配置学校GitLab的ssh key时遇到一些问题,原因应为曾经配置过GitHub的ssh key,因此在这里记录解决过程. 定位基于本篇博客及其中给出的其他辅助资料,读者可以在已配置GitHub ssh key的条件下再配置GitLab ssh key Part 1 笔者参考的其他博客 Git生成多个ssh key Git [基于SSH协议clone GitHub远端仓库到本地]…

「BUAA OO Pre」 Pre 2总结回顾概览

「BUAA OO Pre」 Pre 2总结回顾概览目录「BUAA OO Pre」 Pre 2总结回顾概览 Part 0 前言写作背景定位您可以在这里期望获得您在这里无法期望获得对读者前置知识的期望 Part 1 Pre 2 task 1 题目描述输入/输出格式数据范围与操作限制变量约束操作约束测评方法输入样例输出样例提示值得注意的点 Part 2 Pre 2 task 2 题目基本要求描述输入/输出格式数据范围与操作限制变量约束操作约束测评方法输…

「BUAA OO Unit 1 HW1」面向测试小白的简易评测机

「BUAA OO Unit 1 HW1」面向测试小白的简易评测机声明:本评测机所使用数据生成来自郭鸿宇同学,这对本评测机非常重要目录「BUAA OO Unit 1 HW1」面向测试小白的简易评测机 Part 0 前言笔者的配置与环境面向人群定位 Part 1 准备工作 Part 2 获取java jar包目的过程须知 Part 2 修改评测机参数 pipline.py gendata.py Part 3 评测机架构 Part 4 有待改进的地方 Part 5 附录:如何从0配置…

「BUAA OO Unit 2 HW8」第二单元总结

「BUAA OO Unit 2 HW8」第二单元总结目录「BUAA OO Unit 2 HW8」第二单元总结 Part 0 前言 Part 1 第五次作业 1.1 作业要求 1.2 架构设计 1.3 协作图 1.4 调度分析 1.5 bug分析自己bug 使用了run而不是start方法启动线程别人bug 1.6 对象头.锁和同步对象实例结构锁和同步参考资料对象锁方法锁形式代码块形式类锁静态方法形式代码块形式参考资料 1.7 线程安全--封装安全输出类每次调用加锁…

UML结构与解析——BUAA OO第四单元作业总结

UML与解析架构 UML是什么统一建模语言(英语:Unified Modeling Language,缩写 UML)是非专利的第三代建模和规约语言.UML是一种开放的方法,用于说明.可视化.构建和编写一个正在开发的.面向对象的.软件密集系统的制品的开放方法.UML展现了一系列最佳工程实践,这些最佳实践在对大规模,复杂系统进行建模方面,特别是在软件架构层次已经被验证有效.(百度百科) 作为一种统一的建模语言,UML具有完全的面向对象特性,UML使用类作为建模的主题对象,能够很好地涵盖面向对象设计…

BUAA OO 2019 第四单元作业总结

目录第四单元总结总 UML UML 类图 UML 时序图 UML 状态图架构设计第十三次作业第十四次作业课程总结历次作业总结架构设计面向对象方法理解测试方法理解与实践改进建议尽量避免与面向对象无关的任务时间安排提前安排好理论课存在感不强课程收获第四单元总结总本部分是2019年北航面向对象(OO)课程第四单元作业(UML)的总结.两次作业的要求大致如下: 第一次作业:实现一个UML类图解析器,可以通过输入各种指令来进行类图有关信息的查询. 第二次作业:扩展类图解…

BUAA OO 2019 第三单元作业总结

目录总 JML规格化设计理论基础工具链规格验证验证代码代码静态检查自动生成测试样例生成结果错误分析作业设计第九次作业架构代码实现第十次作业架构代码实现第十一次作业架构代码实现心得体会参考总本博文是2019年北航面向对象(OO)课程第三单元作业(规格化设计)的总结.三次作业的要求大致如下: 第一次作业:实现一个路径管理系统,可以通过各类输入指令来进行数据的增删查改等交互. 第二次作业:实现一个无向图系统,可以进行基于无向图的一些查询操作. 第三次作业:…

BUAA OO 2019 第一单元作业总结

目录总架构 Controller Model 输入处理代码静态分析行数方法复杂度 UML 类图优点缺点坑输入非法的空白字符输入的简并处理运算浅拷贝可变类型与不可变类型输出表达式因子的优化互测策略测试集测试针对性测试脚本测试 Creational Pattern 总本博文是2019年北航面向对象(OO)课程第一单元作业(多项式求导)的总结.三次作业的要求大致如下: 第一次作业:简单幂函数的求导,如 \(1 + x^5 + 4 * x^3\) 第二次作…

[BUAA OO]第四次博客作业

一. 测试与正确性论证的区别在最后一个单元的OO作业中,我们主要进行了代码的测试与正确性论证工作.这俩者在作业中的体现分别是junit单元测试以及jsf论述语言.这两者在java代码开发中分别能够帮助我们检测代码.测试代码,最终起到对工程正确性进行检测的功能. 这二者就好比一个是完成前的完整性检查,一个是完成后的正确性测试.当然了,理论上来说,这两者之一都可以帮助我们避免代码中问题的出现,但是更保险一点又有谁会反对呢? 先说说junit单元测试.这个相比jsf论述语言,应该是我们…

[BUAA OO]第三次博客作业

OO第三次博客作业 1. 规格化设计的发展我认为,规格化设计主要源自于软件设计的两次危机.第一次是由于大量存在的goto语句,让当时被广泛应用的面向过程式的编程语言臃肿不堪,在逻辑性上与工程规模上鱼与熊掌不可兼得.故而,人们提出了结构化程序设计的编程思想,旨在使程序实现结构化设计的思想.这种设计思想旨在控制各个模块的程序复杂度,从而保证整体工程的正确性. 然而,由于硬件设备的快速迭代,对于软件的要求也越来越高.工程的日益庞大.面向过程程序的可扩展性差.可维护性有限,使得人们提出了面型对象程序编…

BUAA OO 2019 第二单元作业总结

目录总架构 controller model view 优化算法 Look 算法多种算法取优预测未来多线程第五次作业第六次作业第七次作业代码静态分析 UML 类图类复杂度类总代码规模属性个数方法复杂度方法个数方法规模控制分支数目优缺点优点缺点 SOLID 原则单一职责原则(SRP) 开放封闭原则(OCP) 里氏替换原则(LSP) 接口隔离原则(ISP) 依赖倒置原则(DIP) 多线程协作 UML 图分析线程间通信并行任务的独立性坑多线程错误 Ma…

OO——JML作业总结

目录第三单元博客作业 JML语言理论基础 1.注释结构 2.JML表达式 3.方法规格 4.类型规格应用工具链 JMLUnitNG使用实例作业架构设计第一次作业第二次作业第三次作业 BUG与修复规格撰写和理解上的心得体会第三单元博客作业 JML语言理论基础 1.注释结构 JML以javadoc注释的方式来表示规格,每行都以@起头.有两种注释方式,和普通的java语言的注释类似,分为行注释和块注释. 行注释://@abbitation 块注释:/*@ annotation @*/…

电梯模拟系统——BUAA OO第二单元作业总结

需求分析官方需求本次作业需要模拟一个多线程实时多电梯系统,从标准输入中输入请求信息,程序进行接收和处理,模拟电梯运行,将必要的运行信息通过输出接口进行输出. 本次作业电梯系统具有的功能为:上下行,开关门.本次多部电梯的可停靠楼层,运行时间,最大载客量都不相同. 电梯系统可以采用任意的调度策略,即上行还是下行,是否在某层开关门,都可自定义,只要保证在系统限制时间内将所有的乘客送至目的地即可. 电梯系统在某一层开关门时间内可以上下乘客,开关门的边界时间都可以上下乘客. 简要分析这次作业有几个关…

多项式与三角函数求导——BUAA OO 第一单元作业总结

第一次作业需求简要说明针对符合规定的多项式表达式输出其符合格式规定的导函数多项式,格式错误输出WRONG FORMAT! 带符号整数支持前导0的带符号整数,符号可省略,如: +02.-16>.19260817等. 幂函数一般形式由自变量x和指数组成,指数为一个带符号整数,如:x ^ +2. 省略形式当指数为1的时候,可以采用省略形式,如:x. 项变量项带有系数的幂函数,如:2 * x ^ 2.-1 * x. 系数为1的时候,可以省略系数或表示为正号开头的形式,如:x ^ 2.+…

[BUAA OO]第二次博客作业

第五次作业这次作业是电梯系列作业的终极版,要求是使用多线程实现三部电梯的运行.这次作业的难点在于第一次运用多线程技术,对于线程中的行为并不了解,以及电梯功能的实现(如果之前作业采取的是扫描指令队列预先判断电梯行为,而电梯类仅用于实现状态跳转,那么就意味着这次作业要重新设计).多线程这部分,我在完成作业的时候了解的并不多,仅仅使用了thread.sleep()方法进行对于运行时间的模拟,以及在指令队列中疯狂添加synchronized修饰方法,而并不知道这样的深刻意义.而核心的电梯行为这部分,由…

[BUAA OO]第一次博客作业

第一次作业第一次进行面向对象的编程,不论是针对数据设计类还是对方法进行合适的归于不同类中,都不是很熟悉.所写出来的程序还是面向过程+有函数的类(虽然现在很大程度上感觉起来也是这样).索性作业难度并不算高,完成的也算马马虎虎.公测都通过了,但是互测的时候被发现了一处笔误,少写了一个0,导致6位的测试样例无法正常读入.并且由于我的检测输入的实现并不是通过正则表达式,而是通过简单粗暴的有限状态机,故而第一周并没有完整学习正则表达式.虽然有限状态机的设计并没有出错,但是没有尽早学习正则表达式也给我后面…

JML规格编程系列——OO Unit3分析和总结

本文是BUAA OO课程Unit3在课程讲授.三次作业完成.自测和互测时发现的问题,以及倾听别人的思路分享所引起个人的一些思考的总结性博客.主要包含JML相关梳理.SMT Solver验证.JML单元测试.设计策略.代码度量.BUG测试和心得体会等内容. 目录一.JML简单梳理二.SMT Solver的部署和验证三.JML单元测试四.架构设计梳理五.测试与BUG分析六.心得体会一.JML简单梳理 1.1 JML语言理论基础 The Java Modeling Language (J…

电梯系列——OO Unit2分析和总结

一.摘要本文是BUAA OO课程Unit2在课程讲授.三次作业完成.自测和互测时发现的问题,以及倾听别人的思路分享所引起个人的一些思考的总结性博客.主要包含设计策略.代码度量.BUG测试和心得体会等内容. 二.设计策略分析 2.1 第一次作业第一次作业较为简单,主要由Elevator线程和InputHandler线程互相合作完成,是消费者.生产者模式,InputHandler生产AllRequest类中的Request对象存在ArrayList中,电梯从中取出Request对象并完成送乘服务…

多项式求导系列——OO Unit1分析和总结

一.摘要本文是BUAA OO课程Unit1在课程讲授.三次作业完成.自测和互测时发现的问题,以及倾听别人的思路分享所引起个人的一些思考的总结性博客.本文第二部分介绍三次作业的设计思路,主要以类图的形式展现,并有简单的优劣分析:第三部分为程序代码复杂度的分析(二.三两部分为基于度量的对自己程序结构的分析):第四部分为对自己.对他人程序的测试.DEBUG.Hack的思考:第五部分是分析作业中可以应用对象创建模式的可能性,和重构的思考. 二.开发设计思路 1.程序类图展示第一次作业第二次作业第…

OO第三单元总结——JML

目录写在前面 JML理论基础 JML工具链 JMLUnitNG的使用架构设计 Bug分析心得体会写在前面 OO的第三单元学习结束了,本单元我们学习了如何使用JML语言来对我们的程序进行规格化设计.并对openjml以及JMLUnitNG.JUnit等工具的使用有了初步的了解. JML理论基础注释结构 JML以javadoc注释的方式来表示规格,每行都以@起头. JML表达式 JML表达式有一下几种: 原子表达式:如\result,\old等. 量化表达式:如\forall,\exist…

OO第三单元(地铁，JML)单元总结

OO第三单元(地铁,JML)单元总结这是我们OO课程的第二个单元,这个单元的主要目的是让我们熟悉并了解JML来是我们具有规格化编程架构的思想.这个单元的主题一开始并不明了,从第一次作业的路径到第二次作业的图再到第三次作业的地铁系统,需求一步步提升,整个架构也变得复杂.这三次作业为我们模拟了一个需求不断进化的过程,也考验了我们在规格之下的架构能力. 一.JML语言的理论基础及应用工具链 1. 理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种…

oo第三次作业--jml

1.首先我们应该了解什么是jml,jml是java modeling language的缩写,是一种为java规格化设计的标识语言,简单来说,就是描述“干什么”的标准语言(跟注释差不多,但是是标准化注释).jml基于Larch方法构建.BISL提供了对方法和类型的规格定义手段.所谓接口即一个方法或类型外部可见的内容.JML主要由Leavens教授在Larch上的工作,并融入了Betrand Meyer, John Guttag等人关于Design by Contract的研究成果.近年来,JML…

【BUAA-OO-JML】的更多相关文章