java - 如何使用jqwik生成数字的排序数组

我正在使用java jqwik进行基于属性的测试，到目前为止，我想生成排序后的数组：

@Provide
Integer[] arrProvider() {
    Arbitrary<Integer> integerArbitrary = Arbitraries.integers().between(0, 100);
    Arbitrary<Integer[]> arrayArbitrary = integerArbitrary.array(Integer[].class).ofMinSize(0).ofMaxSize(30);

 // how to make my arbitrary sorted ? and I want to return it as array of Integers?
}

最佳答案

这里有两个问题可能会困扰您：


提供者方法有什么返回类型？
如何转换生成的对象？


让我们分两步解决：

在jqwik中，生成器显示为Arbitrary<TypeToGenerate>，因此
  您提供者方法的签名是：

@Provide
Arbitrary<Integer[]> arrProvider() {
    return ...;
}

任意子实际上是生成器的工厂，它们提供过滤，组合和映射的所有功能。对于问题的第二部分，我们需要映射：

integerArbitrary
    .array(Integer[].class).ofMinSize(0).ofMaxSize(30)
    .map(anArray -> {
        Arrays.sort(anArray);
        return anArray;
    });

让我们将它们组合在一起并在属性中使用它：

@Property
void arrayIsSorted(@ForAll("arrProvider") Integer[] array) {
    System.out.println(Arrays.toString(array));
}

@Provide
Arbitrary<Integer[]> arrProvider() {
    Arbitrary<Integer> integerArbitrary = Arbitraries.integers().between(0, 100);
    return integerArbitrary
        .array(Integer[].class).ofMinSize(0).ofMaxSize(30)
        .map(anArray -> {
            Arrays.sort(anArray);
            return anArray;
        });
}

现在，输出应显示与之类似的排序数组：

[0, 1, 27, 33, 47, 80, 84, 91, 92]
[1, 2, 2, 5, 5, 5, 15, 16, 38, 39, 44, 54, 54, 63, 71, 78, 86, 93, 93, 100]
[0, 3, 4, 4, 4, 11, 12, 20, 21, 25, 44, 51, 55, 62, 66, 75, 78, 80, 81, 87, 90, 92, 94]
[3, 45, 45, 78, 95, 96]

只有更多。