第三单元是大闸蟹体验及其差的一单元,鬼知道从一开始的自信慢慢到最后的自暴自弃我都经历了什么,我已经感觉到分数与gpa与头发都在渐渐和我说再见了 JML基础梳理及工具链 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言.其旨在无需了解方法等的内部实现,而告诉读者方法等需要的前提条件以及运行后的结果等,这对于构建测试.维护代码.以及协作编程都都有极其重要的作用. JML以javadoc注释的方式来表示规格,每行都以@起头.有两种注释方式,行注释和…

一.JML简介 1.1 JML与契约式设计 说起JML,就不得不提到契约式设计(Design by Contract).这种设计模式的始祖是1986年的Eiffel语言.它是一种限定了软件中每个元素所必需的责任与义务的开发模式,程序设计中的每个元素都需要用规范的语言精准地限定其前置条件(Preconditions).后置条件(Postconditions)和不变式(Invariants).通过这三项限定,我们可以清晰地获得对一个函数功能的刻画,从而达成设计与实现的分离,便于优化.测试和生成文档.…

title: 2020 OO 第三单元总结 date: 2020-05-21 10:10:06 tags: OO categories: 学习 第三单元终于结束了,这是我目前为止最惨的一单元,第十次作业强测20分,互测杀成狗--虽然都知道只关注分数没有什么意义,我更应该去体会的是通过JML学习对于程序设计理念的认知,但是--心真的很痛.下面就进入单元总结: 1. JML语言理论基础与工具链 1.1 JML语言是什么 参考课程组下发的<JML(Level 0)使用手册>,JML语言的定义如下:…

OO第三单元的作业主题是JML规格化设计,作业以图及图的最短路径相关计算为载体,体现接口的规格化设计. ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------…

第三单元 Linux命令及获取帮助 11) 了解Linux命令的语法格式:命令 [选项] [参数]2) 掌握命令格式中命令.选项.参数的具体含义a) 命令:告诉Linux(UNIX)操作系统做(执行)什么.b) 选项:说明命令运行的方式(可以改变命令的功能).选项部分是以“-”字符开始的.c) 参数:说明命令影响(操作)的是什么(如一个文件.一个目录或是一段正文文字)Ls –a /2. whoami命令(详见linux系统管理P24)1) 了解whoami命令的功能:列出目前登陆Linux系统所…

第三单元OO总结博客 1 梳理JML语言的理论基础.应用工具链情况 由于篇幅原因,这里只梳理几个在本单元常用的 注释结构 行注释://@annotation 块注释:/* @ annotation @*/ 例如:纯粹查询方法/*@ pure @ */,即方法的执行不会有任何副作用 JML表达式 原子表达式 \result:表示一个非 void 类型的方法执行所获得的结果,即方法执行后的返回值 \old(expr): 用来表示一个表达式 expr 在相应方法执行前的取值.作为一般规则,任何情况下,…

一.梳理JML语言的理论基础 1.jml的注释结构 jml注释语言的每一行都以@作为开始,若是块注释,则需要在注释块的首尾使用/*@ 与@*/ 2.jml的表达式体系 1.原子表达式 表达式可以看作是一个原子类型,常见的有\result表达式(用于表达某个方法执行后的结果).\old表达式(用来表示某个对象执行某操作之前的值). 2.量化表达式 量化表达式是对给定范围内对象批量操作的表达式,其存在大大简化了jml语言,常见的有\forall表达式(范围内对象,都要满足某要求).\exists表达…

第三单元:Account and Contact management Account和Contact概念和SAP CRM里是一样的: 并且支持同ERP和CRM的客户主数据做同步. 关于具体的同步场景,参考我上传的视频: http://v.qq.com/x/page/v07441mikim.html C4C里客户管理的特色: upload accounts via data migration tool view social information with insideView integr…

目录 一.JML语言理论基础及应用工具链 二.部署JMLUnitNG,自动生成测试用例 三.架构设计 第一次作业 第二次作业 第三次作业 四.Bug分析 五.心得体会 一.JML语言理论基础及应用工具链 理论基础 官网定义: Java建模语言(JML)是一种行为接口规范语言,可用于指定Java模块的行为 .它结合了Eiffel的契约方法设计 和Larch系列接口规范语言的基于模型的规范方法 ,以及细化演算一些元素 . 用法: (1)开展规格化设计.这样交给代码实现人员的将不是可能带有内在模糊性的…

一.JML理论基础及应用工具链情况 理论基础 1.JML表达式 \result:表示方法执行后的返回值. \old(expr):表示一个表达式expr在相应方法执行前的取值. \foall:全称量词修饰的表达式. \exists:存在量词修饰的表达式. <==>:等价关系操作符. ==>:推理操作符. \nothing:变量引用操作符,指示一个空集. \everything:变量引用操作符,指示一个全集. 2.方法规格 requires:表示前置条件(pre-condition). en…