BUAA_OO_第三单元

【BUAA_OO_第三单元】的更多相关文章

一.JML初探 JML(Java Modeling Language)作为一种形式化语言,可以约束Java代码中类和方法的状态和行为形成规格,通过将一系列具体代码实现抽象成明确的行为接口,可以形成一种契约式编程模式,JML设计者无需考虑实际的数据结构与算法,可以聚焦于程序的整体逻辑,JML形式化语言的无二义性能让实现者准确理解接口功能,根据问题需要选择合适的实现方式,同时JML可以帮助实现者开展代码测试与形式化验证,当然这时就要分析出模型语言映射到具体代码的抽象函数了. JML表达式 J…

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 在…