前端之家

  1. 首页
  2. 问答

用 flatMap 创建的任意不考虑过滤器

• 问答

我正在尝试 jqwik（1.5.1 版），我从 documentation 中读到我可以创建一个 Arbitrary，其生成的值取决于另一个 Arbitrary 提供的值，特别是使用 flatMap 函数。

我的实际目标是不同的，但基于这个想法：我需要 2 个 Arbitrary，它们总是为单个测试生成不同的值。这是我试过的：

@Provide
private Arbitrary<Tuple.Tuple2<Integer,Integer>> getvalues() {
  var firstArbitrary = Arbitraries.integers().between(1,Integer.MAX_VALUE);
  var secondArbitrary = firstArbitrary.flatMap(first ->
          Arbitraries.integers().between(1,Integer.MAX_VALUE).filter(i -> !i.equals(first)));

  return Combinators.combine(firstArbitrary,secondArbitrary).as(Tuple::of);
}

@Property
public void test(@ForAll("getvalues") Tuple.Tuple2<Integer,Integer> values) {
  assertThat(values.get1()).isnotEqualTo(values.get2());
}

它立即失败了这个示例：

Shrunk Sample (1 steps)
-----------------------
  arg0: (1,1)

当然要扔 AssertionError：

java.lang.AssertionError: 
Expecting:
  1
not to be equal to:
  1

我预计 filter 函数足以排除 firstArbitrary 产生的生成值，但似乎甚至没有考虑它，或者更有可能做其他事情。我错过了什么？有没有更简单的方法来确保给定一定数量的 integer 生成器，它们总是产生不同的值？

atx860 回答：用 flatMap 创建的任意不考虑过滤器

一个生成值通过 flatMap 影响下一代步骤的总体思路是正确的。您缺少的是通过在平面映射范围之外组合 firstArbitrary 和 secondArbitrary 来解除这种耦合。修复是次要的：

@Provide
private Arbitrary<Tuple.Tuple2<Integer,Integer>> getValues() {
    var firstArbitrary = Arbitraries.integers().between(1,Integer.MAX_VALUE);
    return firstArbitrary.flatMap(
        first -> Arbitraries.integers().between(1,Integer.MAX_VALUE)
                            .filter(i -> !i.equals(first))
        .map(second -> Tuple.of(first,second))
    );
}

也就是说，还有更多 - 我认为更简单 - 实现目标的方法：

@Provide
private Arbitrary<Tuple.Tuple2<Integer,Integer.MAX_VALUE);
    return firstArbitrary.tuple2().filter(t -> !t.get1().equals(t.get2()));
}

这摆脱了平面映射，这意味着在缩小 jqwik 的同时减少了工作量。

另一种可能的解决方案：

@Provide
private Arbitrary<Tuple.Tuple2<Integer,Integer.MAX_VALUE);
    return firstArbitrary.list().ofSize(2).uniqueElements().map(l -> Tuple.of(l.get(0),l.get(1)));
}

这个可能看起来有点复杂，但它的优点是没有使用平面映射和过滤。过滤通常会降低生成、边缘情况、穷举生成和收缩的性能。这就是为什么我尽可能避免过滤，而不会太麻烦。

generatorjavajqwikproperty-based-testingtesting
本文链接：https://www.f2er.com/635800.html

大家都在问