OO第三单元总结 JML语言及工具链 JML是什么？ 根据我的理解，JML是一种严谨的规定，以方便需求方和实现方的沟通。需求方只需要给实现者定好JML规格，实现者就可以照着JML规格的要求写程序了。 JML规格有许多等级，包括Level 0, 1, 2, 3, C, X。我们在课程中学的是JML L ...
分类：
其他好文 时间：
2020-05-23 11:24:17
阅读次数：
59
JML理论 jml是对java程序进行规格化设计的一种表示语言。jml主要运用在：(1)开展规格化设计；(2)针对已有的代码书写规格，增强代码的可维护性。 需要注意的是：jml描述的是我们的程序在什么样的情况下会正确执行，预期的返回值满足什么样的条件，一言以蔽之：jml描述的是程序能用什么样的原料做 ...
分类：
其他好文 时间：
2020-05-23 11:12:06
阅读次数：
40
OO第三单元总结 一、JML理论基础与工具链 1.JML简介 JML，即Java Modeling Language，是一种对Java程序进行 规格化设计 的表示语言。其用处主要有：1.开发时做出规格化设计，以便代码编写者实现；2.方便根据规格化描述开展对应的测试；3.针对已经实现的代码，编写对应规 ...
分类：
其他好文 时间：
2020-05-23 10:05:24
阅读次数：
54
一、JML规格与工具链应用 JML 概述 使用 JML 来说明性地描述所希望的类和方法的行为，可以显著地改善整个开发过程。将建模表示法添加到 Java 代码中，其好处包括以下几点： 能更加精确地描述代码所完成的任务 能有效地发现和纠正错误 能减少随着应用程序的进展而引入错误的机会 能较早地发现客户没 ...
分类：
其他好文 时间：
2020-05-23 09:39:40
阅读次数：
51
一、关于JML JML理论基础 所谓的JML，它是一种形式化的，面向JAVA的行为接口规格语言。对于我们所写的代码，正确性的重要性不言而喻，JML正是我们为了获得回答方法正确性问题的一种重要的技术手段，同时可作为我们开展测试设计时的依据，是多人协同开发时的交互基础。 方法规格： 举一个例子，首先我们 ...
分类：
其他好文 时间：
2020-05-23 00:39:52
阅读次数：
55
JML单元总结 JML理论基础及应用工具链 理论基础 JML设计源自契约式设计的需要，我个人的理解是它是一种功能要求的表述，要求写程序的人按照这个要求去实现功能。 1.方法规格 前置条件： 后置条件： 副作用：放在 之后，表示需要被修改的对象属性及类静态变量 pure方法：使用 ，表示该方法可以被其 ...
分类：
其他好文 时间：
2020-05-23 00:37:22
阅读次数：
55
JML理论基础： 在大一的离散结构课程中，我们学习叻关于谓词逻辑的相关知识。作为一名周六还得补考离散二的菜鸡，我只能爬。我个人理解上JML语法格式是谓词逻辑和java的生动结合，让读者在理解与讨论的过程中收获极大的欢乐，并基于契约化编程的思想来解放程序员于bug之中->如果完全按照规格实现，那么WA ...
分类：
其他好文 时间：
2020-05-23 00:09:49
阅读次数：
58
一、JML语言的理论基础 JML概述 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。 一般而言，JML有两种主要的用法：（1）开展规格化设计。这样交给代码实现人员的将不是可能带有内在模糊性的自然语言描述，而是逻辑严格的规格。（2）针对已有的代 ...
分类：
其他好文 时间：
2020-05-22 22:55:02
阅读次数：
73
1 JML语言的理论基础及应用工具链 1.1 JML语言 Java建模语言(JML)是一种行为接口规范语言，可用于指定Java模块的行为。它结合了Eiffel的“契约设计(design by contract)”方法和Larch系列接口规范语言的基于模型的规范方法，以及细化演算的一些元素。对JML语 ...
分类：
其他好文 时间：
2020-05-22 21:38:10
阅读次数：
77
OO第三单元总结 [toc] 一、JML理论基础与工具链 理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言，即JML限制了各个类的规格。JML是一种行为接口规格语言。我们目前学到的JML仅限于level0，还只是入门级而已。 1. 注释 ...
分类：
其他好文 时间：
2020-05-22 21:34:25
阅读次数：
63
