15

scalacheck项目的用户指南提到了大小的生成器。解释代码

def matrix[T](g:Gen[T]):Gen[Seq[Seq[T]]] = Gen.sized {size =>
 val side = scala.Math.sqrt(size).asInstanceOf[Int] //little change to prevent compile-time exception
 Gen.vectorOf(side, Gen.vectorOf(side, g))
}

什么也没给我解释。经过一番探索，我了解到生成序列的长度不取决于生成器的实际大小（根据 javadoc，Gen 对象中有 resize 方法“创建生成器的调整大小版本”（也许这意味着不同的东西？））。

val g =  Gen.choose(1,5)
val g2 = Gen.resize(15, g)
println(matrix(g).sample) //  (1)
println(matrix(g2).sample) // (2)
//1,2 produce Seq with same length

你能解释一下我错过了什么，并给我一些你如何在测试代码中使用它们的例子吗？

4

2 回答 2

19

（vectorOf现在被替换为listOf）生成列表，其大小（线性）取决于 ScalaCheck 在评估生成器时设置的大小参数。当 ScalaCheck 测试一个属性时，它会为每个测试增加这个大小参数，导致使用越来越大的列表测试属性（如果listOf使用的话）。

如果您仅通过以嵌套方式使用生成器来创建矩阵生成listOf器，您将获得大小取决于 size 参数的平方的矩阵。因此，当在属性中使用这样的生成器时，您最终可能会得到非常大的矩阵，因为 ScalaCheck 会增加每次测试运行的大小参数。但是，如果您resize按照 ScalaCheck 用户指南中的方式使用生成器组合器，您的最终矩阵大小将线性地取决于大小参数，从而在测试属性时获得更好的性能。

您真的不必经常使用resize生成器组合器。如果您需要生成受某个特定大小限制的列表，最好执行以下示例的操作，因为无法保证listOf/containerOf生成器确实按照您期望的方式使用大小参数。

def genBoundedList(maxSize: Int, g: Gen[T]): Gen[List[T]] = {
  Gen.choose(0, maxSize) flatMap { sz => Gen.listOfN(sz, g) }
}
于 2010-12-08T10:39:33.080 回答
12

您使用的vectorOf方法已弃用，您应该使用listOf方法。这会生成一个随机长度列表，其中最大长度受生成器大小的限制。因此，如果您想控制生成的最大元素，您应该调整实际生成实际列表的生成器的大小：


scala> val g1 = Gen.choose(1,5)
g1: org.scalacheck.Gen[Int] = Gen()

scala> val g2 = Gen.listOf(g1)  
g2: org.scalacheck.Gen[List[Int]] = Gen()

scala> g2.sample
res19: Option[List[Int]] = Some(List(4, 4, 4, 4, 2, 4, 2, 3, 5, 1, 1, 1, 4, 4, 1, 1, 4, 5, 5, 4, 3, 3, 4, 1, 3, 2, 2, 4, 3, 4, 3, 3, 4, 3, 2, 3, 1, 1, 3, 2, 5, 1, 5, 5, 1, 5, 5, 5, 5, 3, 2, 3, 1, 4, 3, 1, 4, 2, 1, 3, 4, 4, 1, 4, 1, 1, 4, 2, 1, 2, 4, 4, 2, 1, 5, 3, 5, 3, 4, 2, 1, 4, 3, 2, 1, 1, 1, 4, 3, 2, 2))

scala> val g3 = Gen.resize(10, g2)
g3: java.lang.Object with org.scalacheck.Gen[List[Int]] = Gen()

scala> g3.sample
res0: Option[List[Int]] = Some(List(1))

scala> g3.sample
res1: Option[List[Int]] = Some(List(4, 2))

scala> g3.sample
res2: Option[List[Int]] = Some(List(2, 1, 2, 4, 5, 4, 2, 5, 3))
于 2010-09-08T15:29:35.843 回答