uaa

BUAA OO 第三单元总结

目录OO第三单元一、JML语言的理论基础二、JML工具链1.OpenJML2.jmluniting三、架构设计四、bug分析五、心得体会OO第三单元JML给我上了一课一、JML语言的理论基础最开始接触接口的时候，我的直观感受就是“这好像没啥用啊”，它只定义了一些行为的参数和返回值，但是对于实现这些行为帮助不大。转念一想，哦，可以把一些关键的内容写在注释里。这样的注释当然可以用自然语言来写，但是JM
lty0523·2020-05-23 10:00

BUAA_OO_UNIT3单元总结

BUAA_OO_UNIT3单元总结目录BUAA_OO_UNIT3单元总结1、JML理论基础梳理以及应用工具链情况理论基础原子表达式量化表达式方法规格应用工具链后言2、SMTSolver验证3、JMLUnit
magicalyz·2020-05-23 01:00

学不会OO的第三单无反思（尽管刚才让JML爪8但是JUnit真的是个好东西

本文以BUAAOO2020HW11为基础，从我写的MyNetwork的单元测试入手进行解析与介绍。
kongyou·2020-05-22 23:00

BUAA_2020_OO_UNIT3_REVIEW

OO第三单元总结1.JML语言的理论基础、应用工具链情况1.1JML理论基础我觉得就是《离散数学》中的数理逻辑由于我的《离散数学》是速成的，导致我不会写规格，只能勉强读读，因为写规格和写代码的逻辑完全不一样，第10次作业我就傻逼了。JML知识点总结：pure：纯粹查询，无任何副作用。数组：仅仅是规格层次的描述，不一定要数组实现no_null:该对象不能为空。\result：该方法的返回值。requ
BUAA-City·2020-05-22 22:00

BUAA_OO_2020_Unit3_Summary

BUAA_OO_2020_Unit3_Summary写在开头：在本单元的学习中，对于JML相关工具链的使用我一直处于一头雾水的状态，在撰写自己的总结之前，学习了18373109同学的博客，按照他的测试方法进行了本地测试
18374472闫金柱·2020-05-22 21:00

BUAA_OO_第三单元

一、JML初探JML(JavaModelingLanguage)作为一种形式化语言，可以约束Java代码中类和方法的状态和行为形成规格，通过将一系列具体代码实现抽象成明确的行为接口，可以形成一种契约式编程模式，JML设计者无需考虑实际的数据结构与算法，可以聚焦于程序的整体逻辑，JML形式化语言的无二义性能让实现者准确理解接口功能，根据问题需要选择合适的实现方式，同时JML可以帮助实现者开展代码测试
iff0·2020-05-22 17:00

BUAA_OO_2020_UNIT3_Summary

BUAA_OO_2020_UNIT3_Summary本单元在阅读并理解JML规格的基础上，完成一个简单社交网络系统的迭代开发，该系统为实时在线系统，输入给出指令，需要及时给出正确的输出。
_Akman·2020-05-22 16:00

BUAAOO_UNIT3_2020

OO第三次博客作业JML介绍1.理论基础JML是基于java的规格设计表示语言,是一种行为接口规格语言(BehaviorInterfaceSpecificationLanguage，BISL)JML以javadoc注释的方式来表示规格,其核心是规格化表述举例来说,就像下面的片段描述了JML语言所包含的部分组件原子表达式\result：非void函数的返回值\not_assigned(x1,x2)：
Okifu·2020-05-22 12:00

BUAA_OO_JML_Unit3总结

第三单元我们对JML进行了学习，并加深了对形式化设计的理解。本单元通过给定的JML来实现了一个人际关系网，最后实现了一个人际关系管理网络，表示了人与人之间的关系，人所在群组，人与人之间的借贷关系，以及离散数学中的连通，强连通，最短通路等关系。一、JML理论基础JML是对java程序进行规格化设计的一种规范语言。通过JML以及其支持工具（例如Junit，Openjml等），还可以基于规格自动生成边界
Yang_Xi·2020-05-22 11:00

OO第三单元JML作业总结

BUAA_BladeMonster_003一、JML语法总结JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言。
BladeMonster·2020-05-22 03:00

BUAA_OO_2020_Unit3_Summary

概述通过Unit3的学习，我了解到JML规格化设计语言的相关知识，初步掌握通过JUnit开展单元测试的方法，并通过实现一个人际关系网络巩固所学内容、提升算法能力。本博文从JML语言与工具链、SMTSolver规格验证、JMLUnit测试用例生成、架构设计分析、Bug与修复及心得体会六方面展开，总结在Unit3中的收获。1.JML语言与工具链1.1JML语言的理论基础本人用幕布软件生成的思维导图对J
Palemodel·2020-05-22 01:00

BUAAOO_UnitThree

目录一、JML语言理论基础工具链二、SMTSolver部署与验证三、JMLUnitNG四、本单元架构设计五、Bug及修复情况六、心得体会引言本单元作业主要聚焦于JML规格下的代码完成与测试，考察了我们对于JML规格的阅读和理解能力，同时还考察了一些基本的数据结构和算法知识，要求我们能够使用JUnit等途径对自己的代码进行测试。一、JML语言理论基础1.JML表达式JML表达式中主要由原子表达式、量
hilda123·2020-05-22 00:00

BUAAOO第三单元总结——规格化的面向对象设计

一、JML理论基础1.1JML的用法JML是用于对Java程序进行规格化设计的一种表示语言。JML有两种主要的用法：（1）开展规格化设计。例如本单元的三次作业；（2）针对已有的代码实现，书写其对应的规格，从而提高代码的可维护性。例如本单元的课上实验。1.2JML的注释结构1行注释：2//@annotation34块注释：5/*@annotation@*/1.3JML表达式\result表示一个非v
18373404·2020-05-21 23:00

BUAA_OO_UNIT3_Summary

一、JML语言理论基础与应用工具链梳理理论基础JML是用于对Java程序进行规格化设计的一种表示语言。通过类似离散数学里面的语句，规范明确地指出操作的行为。具体而言，JML有两种主要的用法。（1）开展规格化设计。这样交给代码实现人员的将不是可能带有模糊性的自然语言描述，而是逻辑严格的规格。（2）针对已有的代码实现，书写其对应的规格，从而提高代码的可维护性。这在代码的维护方面具有特别重要的意义。显然
飞昉·2020-05-21 22:00

JML——BUAA_OO 第三单元总结

JML——BUAA_OO第三单元总结JML语言基础JML简介JML(JavaModelingLanguage)是一种行为接口规范语言，可用于指定Java模块的行为(如契约式设计)。
骑着蜗牛追捣蛋·2020-05-21 22:00

BUAA OO 第三单元总结

目录Part1JML规格（specification）JMLJML的规格变量不变式（invariant）和变化约束（constraint）JML的方法规格JML的表达式：JML的工具链介绍Part2自动生成用例测试JMLUnitNg自动生成用例测试定制化的自动生成用例测试Part3程序结构设计Part4Bug分析Part5心得体会Part1JML规格（specification）规格既是一种描述，
YSZhao·2020-05-21 20:00

2020-BUAA OO-面向对象设计与构造-HW11中对ageVar采用缓存优化的等价性证明（包括溢出情况）

HW11中对ageVar采用缓存优化的等价性证明（包括溢出情况）概要我们知道，第三次作业里age上限变为2000，而如果缓存年龄的平方和，2000*2000*800>2147483647，会溢出。但是实际上，我们仍然能通过缓存得到正确的结果。这是因为，计算机内进行的二进制运算其实每一步都进行了\(\&0xffff\_ffff\)操作，有交换律、结合律、平方公式成立。即使在溢出的情况下，两个式子仍然
VOIDMalkuth·2020-05-21 20:00

BUAAOOUnitThree总结分析

一、梳理JML语言的理论基础、应用工具链情况理论基础定义：JML是用于对Java程序进行规格化设计的一种表示语言JML基础关键字解释举例\result方法执行后的返回值\result=p1.getId()==p2.getId();\old(expr)相应方法执行前的取值add方法list.length==\old(list.length)+1;\not_assigned(x,y,...)表示括号里
zhouh1999·2020-05-21 15:00

BUAA_OO_2020_Unit3_总结博客

BUAA_OO_2020_Unit3_总结2020年春季学期第十三周，OO第三单元落下帷幕，对这个单元的内容JML有了更深的理解，但也有了一些疑惑，下做总结：一、JML语言以及工具链经过课上JML语言的学习
Craaaaazy·2020-05-21 10:00

BUAA-OO-第三单元作业总结（JML实现社交系统模拟）

BUAA-OO-第三单元作业总结（JML实现社交系统模拟）前言进入了第三单元之后，我们首先就是认识了何为JML，并且依据JML完成了所有的三次作业，如果将这一单元简单化处理，似乎就是根据注释写代码，看似简单
DarthVadar·2020-05-20 21:00

BUAA_OO_Summary_StageThree

一、JML语言理论基础JML简述JML(JavaModelingLanguage)是用于对Java程序进行规格化设计、行为接口规格语言（BehaviorInterfaceSpecificationLanguage，BISL）。通过JML及其支持工具，不仅可以基于规格自动构造测试用例，并整合了SMTSolver等工具以静态方式来检查代码实现对规格的满足情况。JML关键语法方法规格normal_beh
Kidleyh·2020-05-20 20:00

BUAA_OO(2020)_Unit3_Summary

一、JML语言JML是针对Java的形式化描述语言，功能是以形式化的方式描述预期效果，以注释的形式书写在代码之中。使用JML可以提供很好的模型规格描述，从而容易高效地检查、发现、纠正错误，并且提供与代码同步的文档。语法\result：方法执行后的返回值。\old(expr)：表示一个表达式expr在相应方法执行前的取值\nonnullelements(container)：表示container对
kircle·2020-05-20 20:00

数据库简单的实际应用

转载：https://www.cnblogs.com/zpfbuaa/p/5442796.html作为初学者，现在接触的数据库都属于比较小的哪一种，对于数据库处理以及所提供的数据操纵等功能并没有很深刻的认识
精华芝士饼·2020-05-20 17:00

BUAA_OO_2020_第三单元

BUAA_OO_UNIT_3JML语言及工具JML语言理论JML语言利用前置条件、后置条件、不变式等约束语法，描述了Java程序的数据、方法、类的规格，是一种契约式程序设计的实现工具。
LPhoebe·2020-05-20 15:00

BUAA_OO_第三单元作业总结

第三单元作业总结JML语言基础以及工具链一.JML语言定义JML是一种在java代码中形式化描述指定函数或者变量要求的语言。也就是说，JML相当于一份伪代码，编程者需要在这份伪代码的前提下完成真正的代码编写。使用JML的好处使用形式化语言描述代码功能，比使用自然语言描述更加清晰易懂。并且JML语言还配备有一套自动化测试方案，能够测试代码在极端数据（比如最大值、最小值、0、null）的情况下的功能执
Cedar_forest·2020-05-20 14:00

BUAAOO第三单元总结

JML理论基础JML规定了一些语法,用这些语法可以描述一个方法,一个类的行为,理论基础是离散数学吧JML常用语法前置条件:使用require+表达式,表达式一般为布尔表达式副作用:assignable列出这个方法能够修改的类成员属性，\nothing是个关键词，表示这个方法不对任何成员属性进行修改，所以是一个pure方法。后置条件:使用ensures+表达式,表达式一般为布尔表达式.常用语法:原子
Donsome·2020-05-20 13:00

BUAA_OO_UNIT3_2020

第三次博客作业JML语言的理论基础、应用工具链情况JML（Java Modeling Language）——java建模语言，是一种行为接口规范语言(behavioralinterfacespecificationlanguage,BISL)。同时，JML也是一种进行详细设计的符号语言，它鼓励你用一种全新的方式来看待Java的类和方法，既规定了方法或抽象数据类型的接口，也规定了它们的行为。注释结构
Wandy666·2020-05-20 12:00

BUAA_OO_2020_Unit3 Summary

梳理JML语言的理论基础、应用工具链情况JML(JavaModelingLanguage)JML是一种形式化的、面向JAVA的行为接口规格语言（behavioralinterfacespecificationlanguage）JML允许在规格中混合使用Java语法成分和JML引入的语法成分JML使用Javadoc的注释方式JML已经拥有了相应的工具链，可以自动识别和分析处理JML规格（如OpenJ
weilann·2020-05-20 11:00

BUAA_OO_HOMEWORK_UNIT3_总结与反思

JML基础理论基础JML是用于对Java程序进行格式化设计的表示语言，其用处在于开展规格化设计，使得交给实现人员的不是较为模糊的自认语言，而是逻辑严格的规格。JML主要包括三个部分，分别是前置条件，副作用范围限定和后置条件。requires子句定义该方法的前置条件，表示要求调用者确定条件为真，多个条件可以用&&或||这类逻辑符号进行连接。对于方法中不同的表现可能有不同的前置条件。assignabl
infinity37·2020-05-20 00:00

BUAAOO Unit3 形式化规格约束下进行编程

§3形式化规格约束下进行编程S1JML相关梳理P0作用1）描述方法的功能，参数要求和输出结果，异常和正常行为2）结合JML检查工具可以检测代码是否实现了预期功能，或者自动生成测试样例P1语法0）注释格式：//@singleline/*@@block@*/1）行为：normal_behavior：正常行为exceptional_behavior：异常行为signals语句：signals(Ee)R，
TwoBeNo_0·2020-05-19 23:00

BUAA_OO_2020_Unit3_Overview

JML理论梳理与工具链分析JML作为一种行为接口规格语言，可以较为准确地对Java程序的行为进行描述。然而在本人使用过程中，由于其工具链的功能的极不完善，大多数的代码编写及测试还是依靠人力完成的，虽然它具有较高的严谨性，但使用体验并不是很好。JML的注释结构JML以javadoc注释的方式表示规格，每行以@起头。行注释为//@annotation，块注释为/*@annotation@*/。规格变量
LittleNyima·2020-05-19 22:00

BUAA_OO_2020_第三单元总结

BUAA_OO_2020_第三单元总结JML理论基础简介JML(JavaModelingLanguage)是一种用于对JAVA程序进行规格化设计的语言，其通过定义接口所包含方法的行为，来约束实现接口的类的行为
圆*·2020-05-19 16:00

BUAA 计网mooc测试题7-应用层

BUAA计网mooc测试题7-应用层1.DNS的重要功能是（）A.将IP地址转换为域名B.将域名转换为IPC.自动获取IP地址D.自动获取域名B2客户端使用（）向服务器发送邮件A.POP3B.SMTPC.TELNETD.FTPB3
_陈麒_·2020-05-14 17:06

BUAA_OS lab4 难点梳理

BUAA_OSlab4难点梳理lab4体会到了OS难度的飞升。实验需要掌握的重点有以下：系统调用流程进程通信机制fork本lab理解难度较高，接下来将以以上三部分分别梳理。
圆*·2020-05-09 16:00

BUAA_OS lab3 难点梳理

BUAA_OSlab3难点梳理实验难点进程创建对于初始化部分，首先需要在pmap.c中修改mips_vm_init()函数，为envs开空间，并map到UENVS空间。
圆*·2020-05-08 20:00

BUAA_OS lab2 难点梳理

BUAA_OSlab2难点梳理实验重点所列出的实验重点为笔者在进行lab2过程中认为需要深刻理解的部分。
圆*·2020-05-08 17:00

BUAA 计网mooc测试题6-传输层

BUAA计网mooc测试题6-传输层1TCP端口号区分上层应用，端口号小于（）的定义为常用端口。
_陈麒_·2020-05-07 16:09

BUAA 计网mooc测试题3-网络层

BUAA计网mooc测试题3-网络层1PING命令发送的报文是（）。
_陈麒_·2020-05-04 19:49

【2020BUAA软件工程】个人项目作业感想

2020BUAA软件工程\(\cdot\)个人项目作业感想一、简介本博客的主要内容为，在完成软件工程个人项目作业后，对个人项目作业的总结，以及对北航软件工程课程的一些感想及建议。
老几把登·2020-04-28 14:00

BUAA_OS_2020_Lab2_Code_Review

本来打算返校上机之前再继续写codereview的（拖延症），不过看来返校还遥遥无期，所以就先写了⑧。Lab2文件树如下，新增文件已用*标出，本lab相关的主要是内存管理方面的文件。1.2├──boot3│├──Makefile4│└──start.S5├──drivers6│├──gxconsole7││├──console.c8││├──dev_cons.h9││└──Makefile10│└
LittleNyima·2020-04-24 02:00

BUAA OO Unit2 电梯调度

这次作业完成了一个开环可选层电梯调度系统。第二次迭代加入了容量限制、多部电梯，第三次迭代加入了电梯楼层分工、增添电梯请求。1.系统架构graphLRMainClass--Requests-->ScheduleExecutor--Notify-->ScheduleSchedule--Update-->ExecutorMainClass--Create-->ElevatorsSchedule--Che
胡琎·2020-04-18 21:00

BUAA_OO 第二单元电梯调度作业总结

BUAA_OO第二单元电梯调度作业总结一、作业总结这一次作业开始引入了线程的概念，并以电梯的形式进行考察。
SexyYxy·2020-04-18 21:00

BUAA_OO_2020_第二单元总结

OO第二单元作业主题为多线程，我之前从未接触过多线程知识。虽然听了理论课，但在完成第一单元作业时对多线程的一些概念仍然是一知半解，在网上补充了很多知识后才敢开始写，动手的时候也一直担心还会不会自己的理解有问题而出bug。总的来说，多线程编程是一种全新的体验，有一种学习数学时从平面几何跨越到立体几何的感觉。新概念会有些多，但在理清楚概念后多线程编程会非常有趣。吸取第一单元作业的教训，在刚刚拿到第二单
陈奕文18376136·2020-04-18 21:00

BUAA_OO_UINT2电梯调度

OO第二单元总结前言：本单元的作业是用java多线程解决电梯调度的问题，与第一单元单线程程序有很大不同。第一次接触多线程，感觉还挺神奇的，虽然本单元的作业完成的比第一单元要顺利一些，但同时也阻碍了我进一步主动地思考学习新知识，下面现总结一下本单元的内容吧，文末再对学习情况总结。一、三次作业的设计策略：第五次作业设计策略：多线程：本次作业是单电梯的调度，多线程体现在：输入需求的线程和电梯线程相独立，
ScorpioWZ·2020-04-18 18:00

BUAAOOUnit2分析总结

OOUnit2分析总结设计策略与度量结构分析第一次作业本次作业，需要完成的任务为单部多线程可捎带电梯的模拟。设计策略本次作业的设计策略如下：共设计了三个线程，分别是主线程、电梯线程、输入线程。主线程负责其他线程的创建与启动，输入线程负责从输入接口获取乘客请求信息，电梯线程负责可稍带运输乘客。采用生产者-消费者模式。输入线程为生产者，电梯线程为消费者，分配器为共享资源。输入线程获得乘客请求，放入分配
JChris·2020-04-18 18:00

BUAA_OO 第二单元总结

摘要这一单元的面向对象作业主要是对多线程编程的应用和理解Java程序运行时的原理。在完成作业时的一大难点就是对线程间共享资源的访问和通过wait()和notifyAll()方法来对多线程进行调度。这一部分对于我这种小白来说还是有些抽象，在实际操作过程中也是在慢慢摸索，尝试去理解多线程运行的方式。这里推荐《图解Java多线程设计模式》，这本书比较浅显易懂，对我理解多线程起到了很大作用。一、关于三次作
_无问·2020-04-18 16:00

OO第二单元总结

BUAA_OO第二单元捎带式电梯调度作业总结一、作业总结这三次作业是关于调度捎带式电梯的一个层递式project。这三次作业主要是关于多线程的一些研究。以下是针对三次作业不同设计思路的总结。
Laffird·2020-04-18 15:00

BUAAOOUnitTwo总结分析

一、从多线程的协同和同步控制方面，分析和总结自己三次作业的设计策略。第一次作业多线程的协同：本次作业共有三个线程和请求队列(托盘)，其中MianTread线程用于开始电梯线程EleThread（消费者）和输入线程EleInputThread（生产者）然后结束，输入线程输入请求至托盘，电梯线程从托盘中取出请求并执行，直至输入线程结束，并且电梯线程通过读取结束信号结束线程。同步控制：电梯线程和输入线程
zhouh1999·2020-04-18 14:00

BUAA_OO_2020_UNIT2_Summary

BUAA_OO_2020_UNIT2_Summary本单元的作业为三次电梯系统的迭代开发，输入端定时给出请求，系统需要响应请求并在符合规范的时间范围内输出正确的处理结果。
_Akman·2020-04-18 14:00

BUAA_2020_OO_UNIT2_REVIEW

OO第二单元总结1.设计策略总的来说，三次作业没有大的重构，都是使用了多线程进行电梯调度，输入线程和运行线程分离，主要的不同在于三次电梯调度器线程的数量有所不同，第一次为一个，第二次为n个，第三次是可添加的。1.1第五次作业多线程刚上手，几乎不会写，一开始对对多线程的“锁”和“synchronized”关键字的理解出现了偏差，导致一开始架构出现了大问题。最后在同学的指点下，理解了部分内容，顺利构建
BUAA-City·2020-04-18 13:00
上一页 14 15 16 17 18 19 20 21 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他