一、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语言和利用JUnit进行单元测试，重点在于理解透彻JML所描述的类和方法的规格，实现后利用JUnit对重点方法进行测试。Java建模语言（Java Modeling Language，JML）是一种进行详细设计的符号语言，利用它可以形式化地描述类和方法地规格 ...
分类：
其他好文 时间：
2020-05-23 00:25:21
阅读次数：
75
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
OO第三单元总结 [toc] 一、JML理论基础与工具链 理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言，即JML限制了各个类的规格。JML是一种行为接口规格语言。我们目前学到的JML仅限于level0，还只是入门级而已。 1. 注释 ...
分类：
其他好文 时间：
2020-05-22 21:34:25
阅读次数：
63
[toc] 前言 你以为你学的是JML，你以为你在学规格，你以为你上的课程叫OO。 哦，这些都没有错。 什么程序不能掺点算法题呢？\\ _ / 关于JML JML是什么 JML（java modeling language）是一种描述代码行为的语言，包括前置条件、副作用等等。JML是一种行为接口规格 ...
分类：
其他好文 时间：
2020-05-22 21:03:00
阅读次数：
60
JML语言的理论基础、应用工具链情况 JML 是用于 Java 的规格描述语言。我们使用 JML 来描述 Java 模块的行为，避免了对设计者意图的歧义。JML 的规格可以写到注释或者单独的文件中，所以带有 JML 规格的文件可以直接使用 Java 编译器来编译，而无需做出修改。 OpenJML 是 ...
分类：
其他好文 时间：
2020-05-22 19:07:48
阅读次数：
53
BUAA_OO_2020_UNIT3_Summary ? 本单元在阅读并理解JML规格的基础上，完成一个简单社交网络系统的迭代开发，该系统为实时在线系统，输入给出指令，需要及时给出正确的输出。训练重点为对规格的理解，数据结构和算法的选择，程序复杂度和时间的控制。 一、JML理论基础与应用工具链梳理 ...
分类：
其他好文 时间：
2020-05-22 17:20:50
阅读次数：
42
