如何解决用 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
生成器,它们总是产生不同的值?
解决方法
一个生成值通过 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)));
}
这个可能看起来有点复杂,但它的优点是没有使用平面映射和过滤。过滤通常会降低生成、边缘情况、穷举生成和收缩的性能。这就是为什么我尽可能避免过滤,而不会太麻烦。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。