java - jqwik - 如何选择测试的值？

Question

在 jkwik 网站上的第一个示例中，有一个生成器可能会生成大量“可被 3 整除”的值：

@Property
boolean every_third_element_starts_with_Fizz(@ForAll("divisibleBy3") int i) {
    return fizzBuzz().get(i - 1).startsWith("Fizz");
}

@Provide
Arbitrary<Integer> divisibleBy3() {
    return Arbitraries.integers().between(1, 100).filter(i -> i % 3 == 0);
}

jqwik 会为所有可能的值运行属性测试，还是从该列表中选择值？如果是第二种情况，它如何选择？

Answer 1

在这种情况下，jqwik 将生成所有可能的值，因为只有 100 个候选值需要考虑，并且 100 小于生成值的默认数量，即 1000。由于还会进行过滤，因此只有 100 以下的 33 个数字是可整除的正在生成 3。

如果无法完全覆盖值的可能范围，则选择值

1. 来自一组典型的边缘情况，例如最小值 (1) 和最大值 (100)
2. （伪）从所有值的集合中随机抽取。数字的随机分布被扭曲，以使较低的数字更有可能被选中。