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
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(Java Modelling Language)是一种用于描述Java程序方法的行为的语言。JML规格对方法的执行效果、执行条件和副作用等作出了明确的规定。 JML的相关工具链包括OpenJML、JMLUnit等，OpenJML可以对JML的正确性进行静态检验，以及对方法的正 ...
分类：
其他好文 时间：
2020-05-23 09:40:28
阅读次数：
65
[toc] 简介 Maven是java中非常有用和常用的构建工具，基本上现在大型的java项目都是Maven和gradle的天下了。 因为JDK的版本现在以每半年一次的速度在飞速发展。不同的JDK版本就有不同的java路径，我们在使用Maven的过程中，可能经常会需要切换JDK的版本。 一般来说我们 ...
分类：
Web程序 时间：
2020-05-23 09:38:33
阅读次数：
76
[toc] 简介 在java程序中，我们通过日志来定位和发现项目中可能出现的问题。在现代java项目中，我们使用log4j或者slf4j，Logback等日志记录框架来处理日志问题。 JVM是java程序运行的基础，JVM中各种事件比如：GC,class loading,JPMS,heap,thre ...
分类：
其他好文 时间：
2020-05-23 09:15:56
阅读次数：
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
OO第三单元——基于JML的社交网络总结 一、JML知识梳理 1）JML的语言基础以及基本语法 JML是用于java程序进行规格化设计的一种表示语言，是一种行为接口规格语言。其为严格的程序设计提供了一套行之有效的方法。通过JML以及其支持工具，不仅可以基于规格自动构造测试用例，并整合了SMT Sol ...
分类：
其他好文 时间：
2020-05-22 13:03:22
阅读次数：
46
