java - 如何使用 ScalaCheck 测试 Java 程序？

Question

我在ScalaCheck 用户指南中读到它是一个测试 Scala 和Java程序的工具。

我想知道，这只是营销，还是用它测试纯 Java 代码库是一个合理的想法？如果是这样，将它与 Java 项目集成的最佳方式是什么？

Answer 1

不，这不仅仅是营销。Funcional Java ( http://functionaljava.org/ ) 使用 ScalaCheck 进行测试。FJ源中的一些测试用例： https ://github.com/functionaljava/functionaljava/blob/724081f0f87f34b2f4c26b8b748877955180ecaa/props-core-scalacheck/src/test/scala/fj/data/CheckList.scala

我不确定将 ScalaCheck 集成到现有 java 项目中的最佳方法是什么，但我想你可以从 FJ 中的做法中借鉴一些想法。

Answer 2

您可以集成它来测试 Java 代码。测试代码将使用 ScalaCheck 在 Scala 中编写，但测试代码可能是 Scala 或 Java。如果您已经使用 scala 进行测试，那么您应该考虑使用ScalaTest或Specs2。

Answer 3

实际上，您可以用纯 Java编写 ScalaCheck 测试，尽管您必须手动解析 Scala 隐式。

例如 Scala 中的代码

import org.scalacheck.Properties
import org.scalacheck.Prop.forAll

object CommutativityTest extends Properties("Commutativity Test") {
  property("commutativity") = forAll { (a: Int, b: Int) =>
    a + b == b + a
  }
}

与 build.sbt

scalaVersion := "2.12.3"

libraryDependencies += "org.scalacheck" %% "scalacheck" % "1.13.5" % Test

可以翻译成Java

import org.scalacheck.*;
import org.scalacheck.util.Pretty;
import scala.math.Numeric;

public class CommutativityTest$ extends Properties {
    public static final CommutativityTest$ MODULE$ = new CommutativityTest$();

    public CommutativityTest$() {
        super("Commutativity Test");

        Arbitrary arbInt = Arbitrary.arbInt();
        Shrink shrinkInt = Shrink.shrinkIntegral(Numeric.IntIsIntegral$.MODULE$);

        Prop prop = Prop.forAll(
                (Integer a, Integer b) -> a + b == b + a,
                Prop::propBoolean,
                arbInt,
                shrinkInt,
                Pretty::prettyAny,
                arbInt,
                shrinkInt,
                Pretty::prettyAny
        );

        property().update("commutativity", () -> prop);
    }
}

和

public class Runner {
    public static void main(String[] args) {
        CommutativityTest$.MODULE$.main(args);
    }
}

用 pom.xml

<project...

    <dependencies>
        <dependency>
            <groupId>org.scalacheck</groupId>
            <artifactId>scalacheck_2.12</artifactId>
            <version>1.13.5</version>
            <scope>test</scope>
        </dependency>

        <dependency>
            <groupId>org.scala-lang.modules</groupId>
            <artifactId>scala-java8-compat_2.12</artifactId>
            <version>0.8.0</version>
        </dependency>
    </dependencies>

    <build>
        <plugins>
            <plugin>
                <groupId>org.apache.maven.plugins</groupId>
                <artifactId>maven-compiler-plugin</artifactId>
                <version>3.6.2</version>
                <configuration>
                    <source>1.8</source>
                    <target>1.8</target>
                </configuration>
            </plugin>
        </plugins>
    </build>
</project>

输出：

+ Commutativity Test.commutativity: OK, passed 100 tests.