JML 规格设计 JML语法 1. 一些语法的细节： jml断言中，不能使用++， ，+=等操作符 \old(expr) 仅表示一个java对象expr的引用是否在操作前后变化，而不能查看成员变量是否改变 \not_assigned(x, y) 表达式，用来表示变量是否被赋值，而\not_modif ...
分类：
其他好文 时间：
2020-05-23 13:28:33
阅读次数：
54
1.JML语法基础与工具 （1）JML表达式 JML的表达式是对Java表达式的扩展，新增了一些操作符和原子表达式。同样JML表达式中的操作符也有优先级的概念。 1 原子表达式 \result表达式：表示一个非void类型的方法执行所获得的结果，即方法执行后的返回值。 \old(expr)表达式：用 ...
分类：
其他好文 时间：
2020-05-23 13:26:34
阅读次数：
44
OO第三单元总结 这是oo课的第三个单元，也就是关于JML的学习。在这一个单元中，我感到和前几个单元有着很大的不同。因为在前几个单元中，我们要实现的功能必须通过阅读指导书，理解自然语言的含义才能理解，这样一来容易出现理解偏差，二来也很容易漏掉关键信息。但是，在这一单元中，我们只需要阅读相应的JML规 ...
分类：
其他好文 时间：
2020-05-23 13:19:23
阅读次数：
35
一、JML语言的理论与应用工具链 JML语言是对一个方法、类、程序的外部可感知行为进行抽象表示的规格化语言，它具有两个重要的特征。第一点：JML语言是抽象的。它就如同一个方法、类、程序的说明书，它告诉你这个用这方法需要什么条件，使用了这个方法之后满足什么效果。但这样的效果任何实现，JML语言不进行描 ...
分类：
其他好文 时间：
2020-05-23 13:18:26
阅读次数：
49
一.JML语言理论基础与应用工具链 1.JML简介 JML(Java Mudeling Language)是一种语言行为规范，通过规范化的语句描述，约束了模块的行为。JML既可以用于规格化设计，又 可以用于针对已有代码的JML规格书写，提高代码的可读性与可维护性。 JML能够便于开发人员之间的交流， ...
分类：
其他好文 时间：
2020-05-23 13:08:17
阅读次数：
60
一．Jml总结及应用工具链 总的来说，jml就是对java程序进行规格化设计的一种表示语言，其中最核心的就是规格化，将代码要实现的功能和各项要求与约束不是通过自然语言，而是通过严密的逻辑语言来表达，这样让代码实现人员看的更加简洁明了，更极大地提高了代码的可维护性。 Jml这一大内容主要分为4个板块， ...
分类：
其他好文 时间：
2020-05-23 13:02:20
阅读次数：
44
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
[toc] OO 第三单元 JML给我上了一课 一、JML语言的理论基础 最开始接触接口的时候，我的直观感受就是“这好像没啥用啊”，它只定义了一些行为的参数和返回值，但是对于实现这些行为帮助不大。转念一想，哦，可以把一些关键的内容写在注释里。这样的注释当然可以用自然语言来写，但是JML提供了另一种思 ...
分类：
其他好文 时间：
2020-05-23 11:40:50
阅读次数：
59
一.JML相关 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。 一般而言，JML有两种主要的用法： （1）开展规格化设计。这样交给代码实现人员的将不是可能带有内在模糊性的自然语言描述，而是逻辑严格的规格。 （2）针对已有的代码实现，书写其对应 ...
分类：
其他好文 时间：
2020-05-23 11:36:04
阅读次数：
44
