OO第三单元总结 第三单元主要考察的是对JML的理解以及根据JML提供的相关信息来设计的能力，当然，这里对一些算法的考察，好像又梦回数据结构（数据结构没学好的哭了 JML的基础知识 JML就是The Java Modeling Language，顾名思义，也就是为了让程序有个既定的规格，让我们补全类 ...
分类：
其他好文 时间：
2020-05-23 12:55:26
阅读次数：
53
OO第三单元总结 一、JML介绍及工具链 （一）JML理论 The Java Modeling Language (JML)是一种行为接口规范语言，可用于指定Java模块行为。使用JML可以对Java程序模块的行为进行准确和明确的描述，也允许人们不仅记录公共接口和行为，也记录一些详细的决策细节。 J ...
分类：
其他好文 时间：
2020-05-23 12:54:03
阅读次数：
42
一.JML相关 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。 一般而言，JML有两种主要的用法： （1）开展规格化设计。这样交给代码实现人员的将不是可能带有内在模糊性的自然语言描述，而是逻辑严格的规格。 （2）针对已有的代码实现，书写其对应 ...
分类：
其他好文 时间：
2020-05-23 11:36:04
阅读次数：
44
OO第三单元总结 一、JML理论基础与工具链 1.JML简介 JML，即Java Modeling Language，是一种对Java程序进行 规格化设计 的表示语言。其用处主要有：1.开发时做出规格化设计，以便代码编写者实现；2.方便根据规格化描述开展对应的测试；3.针对已经实现的代码，编写对应规 ...
分类：
其他好文 时间：
2020-05-23 10:05:24
阅读次数：
54
一、JML介绍 JML(Java Modelling Language)是一种用于描述Java程序方法的行为的语言。JML规格对方法的执行效果、执行条件和副作用等作出了明确的规定。 JML的相关工具链包括OpenJML、JMLUnit等，OpenJML可以对JML的正确性进行静态检验，以及对方法的正 ...
分类：
其他好文 时间：
2020-05-23 09:40:28
阅读次数：
65
面向对象第三单元总结 本单元主要训练JML语言和利用JUnit进行单元测试，重点在于理解透彻JML所描述的类和方法的规格，实现后利用JUnit对重点方法进行测试。Java建模语言（Java Modeling Language，JML）是一种进行详细设计的符号语言，利用它可以形式化地描述类和方法地规格 ...
分类：
其他好文 时间：
2020-05-23 00:25:21
阅读次数：
75
基本语法 为了判断shell程序的某种或几种条件是否成立，shell提供了一组测试运算符。通过返回值判断真假 条件测试的语法有两种：test 和[（为了方便阅读使用[]） test expression [ expresssion ] 条件和左右括号之间必须带空格 字符串测试 字符串测试运算符 | ...
分类：
系统相关 时间：
2020-05-23 00:05:35
阅读次数：
72
一、JML语言的理论基础 JML概述 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。 一般而言，JML有两种主要的用法：（1）开展规格化设计。这样交给代码实现人员的将不是可能带有内在模糊性的自然语言描述，而是逻辑严格的规格。（2）针对已有的代 ...
分类：
其他好文 时间：
2020-05-22 22:55:02
阅读次数：
73
OO第三单元总结 [toc] 一、JML理论基础与工具链 理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言，即JML限制了各个类的规格。JML是一种行为接口规格语言。我们目前学到的JML仅限于level0，还只是入门级而已。 1. 注释 ...
分类：
其他好文 时间：
2020-05-22 21:34:25
阅读次数：
63
"CSDN同步" 前记 首先，$\text{CFS}$ 就是 $\text{Changzhou Foreign Language School}$ 的简写，全称为 常州外国语学校 ，下文简称 常外 . 另外，本人参与了 $2020.5.21$ $2020.5.22$ 的 期中考试 后深有感触，决定发 ...
分类：
其他好文 时间：
2020-05-22 21:25:12
阅读次数：
109
