BUAAOO第三单元总结

【BUAAOO第三单元总结】的更多相关文章

BUAAOO第三单元总结

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

linux学习笔记：第三单元 Linux命令及获取帮助

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

面向对象OO第三单元总结

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

SAP标准培训课程C4C10学习笔记（三）第三单元

第三单元: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…

OO第三单元总结——JML

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

OO第三单元作业总结

OO第三单元作业总结--JML 第三单元的主题是JML规格的学习,其中的三次作业也是围绕JML规格的实现所展开的(虽然感觉作业中最难的还是如何正确适用数据结构以及如何正确地对于时间复杂度进行优化). 关于JML语言 JML语言概述 JML是Java Modeling Language的缩写,意思是Java建模语言,是一种进行详细设计的符号语言. 使用JML语言的好处主要有以下几点: 能够描述类和方法的运行方式,从而使代码的编写过程更加契合面向对象思想: 可以更加高效地发现和修正程序中的bug 在…