2

我正在使用 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?
}
4

1 回答 1

3

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

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

让我们分两步解决它：

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

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

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

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]

只有更多。

于 2020-02-02T08:40:59.897 回答