一个很好的Java合同设计库？ [关闭]

Question

几年前，我做了一个关于Java的DbC包的调查，我对它们中的任何一个都不满意。 不幸的是，我没有对我的发现做好记录，我认为事情已经发生了变化。 有人会关心比较和对比不同的Java DbC包吗？

Answer 1

关于按合同设计的WikiPedia有一个很好的概述，最后有一个关于语言的部分与第三方支持库 ，其中包括一系列很好的Java库。 这些Java库中的大多数都基于Java Assertions。

在您只需要前置条件检查的情况下，还有一个轻量级的验证方法参数解决方案，位于Java Argument Validation （Plain Java实现）下的SourceForge中。

根据您的问题，也许OVal框架，对于字段/属性约束验证是一个不错的选择。 此框架允许您将约束放置在各种不同的形式（注释，POJO，XML）中。 通过POJO或脚本语言（JavaScript，Groovy，BeanShell，OGNL，MVEL）创建客户约束。 并且它也实现了合同编程 。

Answer 2

谷歌有一个名为contract for java的开源库。

Java合同是我们新的开源工具。 前提条件，后置条件和不变量在注释中添加为Java布尔表达式。 默认情况下，它们不执行任何操作，但通过JVM参数启用，它们在运行时进行检查。

 • @Requires, @Ensures, @ThrowEnsures and @Invariant specify contracts as Java boolean expressions • Contracts are inherited from both interfaces and classes and can be selectively enabled at runtime 

java的合同 。

Answer 3

我曾经测试过contract4J，发现它可用但不完美。 您正在创建方法调用之前和之后的合同以及整个类的invar。

合同被创建为方法的断言。 问题是合同本身是用字符串编写的，因此如果合同仍然有效，你就没有IDE支持合同或编译时间。

图书馆的链接

Answer 4

我看了这些已经很久了，但发现了一些旧链接。 一个是JASS 。

我使用（和喜欢）的另一个是Reliable Systems的iContract。 它有一个ant任务，你将作为预处理器运行。 但是，我似乎无法通过一些谷歌搜索找到它，它看起来已经消失了。 原始站点现在是一个链接场。 查看此链接，了解一些可能的方法。

Answer 5

有一个Groovy扩展，支持Groovy / Java代码中的Design by Contract（tm） - GContracts 。 它使用所谓的闭包注释来指定类不变量，前置条件和后置条件。 可以在项目的github wiki上找到示例。

主要优点：它只是一个没有外部依赖关系的jar，它可以通过Maven兼容的存储库解决，因为它被放置在Maven中央仓库中。

Answer 6

我强烈建议您考虑Java建模语言（ JML ）。

Answer 7

如果您想要表达合同的简单基本支持，请查看valid4j（在Maven Central上找到org.valid4j：valid4j）。 它允许您使用普通代码中的常规hamcrest-matcher来表达您的合同（没有注释，也没有注释）。

对于前置条件和后置条件（基本上是断言 - >抛出AssertionError）：

import static org.valid4j.Assertive.*;

require(inputList, hasSize(greaterThan(0)));
...
ensure(result, lessThan(4.0));

如果您对默认的全局策略（抛出AssertionError）不满意，valid4j提供了一个自定义机制，让您提供自己的org.valid4j.AssertiveProvider实现。

链接：

• http://www.valid4j.org/
• https://github.com/helsing/valid4j

Answer 8

我会建议一些工具的组合：

• Java的assert condition...或者它是更高级的Groovy堂兄，Guava的Preconditions.checkXXXX(condition...)和Verify.verify(condition...) ，或者像AssertJ这样的库，如果您只需要进行简单的检查在您的“主要”或“测试”代码中

• 你可以使用像OVal这样的工具获得更多功能; 它可以检查对象以及方法参数和结果，也可以手动触发检查（例如，在调用方法之前在UI上显示验证错误）。 它可以理解，例如从JPA或现有注释javax.validation （如@NotNull ， @Pattern ， @Column ），也可以编写内联的约束等@Pre(expr="x >= 0 && x <= y") 。 如果注释是@Documented ，那么检查也将在Javadocs中可见（您也不必在那里描述它们）。

• OVal使用反射，这可能会在Android等某些环境中产生性能问题和其他问题; 然后你应该考虑像谷歌的Cofoja这样的工具 ，它具有较少的功能，但依赖于编译时的注释处理工具而不是反射

Answer 9

我认为许多DbC库都被自从Java 1.4引入的内置assert关键字所取代：

• 它是内置的，不需要其他库
• 它适用于继承
• 你可以在包装的基础上激活/停用
• 易于重构（例如评论中没有断言）

Answer 10

我个人认为目前可用的DbC库有很多不足之处，我看过的库中没有一个与Bean Validation API配合得很好。

我看过的图书馆已在此处记录

Bean Validation API与DbC的概念相比有很多。 在某些情况下，Bean Validation API不能像简单的POJO（非CDI托管代码）那样使用。 IMO围绕Bean Validation API的思考包装器就足够了。

我发现现有的库添加到现有的Web项目中有点棘手，因为它们是通过AOP或字节代码检测实现的。 可能随着Bean Validation API的出现，实现DbC的这种复杂性是没有根据的。

我还在这篇文章中记录了我的咆哮，并希望建立一个利用Bean Validation API的小型库