1

我希望能够生成详尽的对象排列。想象以下对象

data class Person (name: String, age: Int)

出于测试目的，我想限制nameto3值。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=20)
Testing Person(name=Rasul, age=30)
Testing Person(name=Mohammad, age=20)
Testing Person(name=Rasul, age=40)
Testing Person(name=Nasir, age=10)
Testing Person(name=Rasul, age=10)
Testing Person(name=Nasir, age=40)
Testing Person(name=Rasul, age=40)
Testing Person(name=Nasir, age=30)
Testing Person(name=Mohammad, age=30)

注意Rasul:40是重复的。Mohammad:10错过了。

根据@Tenfour04 的评论，一种可能的解决方案是使用timesand map。尽管在我的领域中，映射变得多毛，因为我们将不得不处理Pairs和处理。PairsPairs

    "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")
            }
        }
    }
4

1 回答 1

1

您可以通过映射每个组件中的每个值并将它们组合成一个新的 Exhaustive 来做到这一点。例如，如果您有三个组件，您希望生成以下所有组合：

fun <A, B, C, D> cartesian(
   a: Exhaustive<A>,
   b: Exhaustive<B>,
   c: Exhaustive<C>,
   f: (A, B, 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

于 2021-02-21T23:31:10.280 回答