如何解决Kotest - 生成无重复的详尽对象排列
我希望能够生成对象的详尽排列。想象以下对象
data class Person (name: String,age: Int)
出于测试目的,我想将 name
限制为 3
值。 Mohammad
、Nasir
、Rasul
和 age
到 4
值。 10
、20
、30
、40
。我想生成 12 个对象,其中每个名称都有 4 个年龄。
我可以生成一个 arbitrary
绑定,但这并不能保证 12
迭代每个都有一个唯一的对象。我必须增加迭代次数,并清除重复项。
val list = Arb.bind(
listof("Nasir","Rasul","Mohammad").exhaustive(),listof(10,20,30,40).exhaustive()
) { name,age -> Person(name,age) }
"Test person " - {
runBlocking {
list.checkAll(12) {
System.out.println("Testing $it")
assertTrue(it.age < 50)
}
}
}
谢谢。
注意:我正在寻找一种使用 Exhaustive
生成器而不是 Arb
生成器的方法。我可以进行一些后期处理并删除重复项,但我希望有一些更可靠、独特的前期工作。
Example outout:
Testing Person(name=Mohammad,age=40)
Testing Person(name=Nasir,age=20)
Testing Person(name=Rasul,age=30)
Testing Person(name=Mohammad,age=10)
Testing Person(name=Rasul,age=10)
Testing Person(name=Nasir,age=40)
Testing Person(name=Rasul,age=30)
注意 Rasul:40
是重复的。 Mohammad:10
错过了。
基于@Tenfour04 评论的一种可能的解决方案是使用 times
和 map
。尽管对于我的字段,映射变得很复杂,因为我们将有 Pairs
和 Pairs
以及 Pairs
需要处理。
"Test cross product" - {
val times = Exhaustive.collection(listof("Nasir","Rasul"))
.times(Exhaustive.collection(listof(10,20)))
.map { Person(it.first as String,it.second) }
runBlocking {
times.checkAll(4) {
println("$it")
}
}
}
解决方法
您可以通过映射每个组件中的每个值并将它们组合成一个新的 Exhaustive 来实现。例如,如果您想要为以下三个组件生成所有组合:
fun <A,B,C,D> cartesian(
a: Exhaustive<A>,b: Exhaustive<B>,c: Exhaustive<C>,f: (A,C) -> D
): Exhaustive<D> {
val ds = a.values.flatMap { _a ->
b.values.flatMap { _b ->
c.values.map { _c ->
f(_a,_b,_c)
}
}
}
return ds.exhaustive()
}
然后可以在测试中使用穷举(对于 arity-2 等,依此类推)。
以下是您如何将其用于人物示例。
val persons = cartesian(
Exhaustive.collection(listOf("Nasir","Rasul")),Exhaustive.collection(listOf(10,20))
) { a,b -> Person(a,b) }
checkAll(persons) { person -> .... test here .... }
注意:上述功能存在于 Kotest 4.5 中,在撰写本文时尚未发布。 https://github.com/kotest/kotest/blob/master/kotest-property/src/commonMain/kotlin/io/kotest/property/exhaustive/cartesian.kt
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。