1

我想用基于属性的测试风格来测试我的代码。
我有一些生成器,它总是生成Some(data),数据永远不会被过滤掉。我想运行 100 个测试,在运行中使用相同的数据集。现在,我正在这样做,但它不是非常惯用的代码:

import org.scalacheck._
import java.util.Random
import org.scalatest._

class ExplainItOnStackOverflow extends PropSpec {
  property("Just a test property to explain my problem!") {
    val g = Gen.choose(1,100)
    for (i <- 1 to 100) {
      val Some(res) = g.apply(Gen.Params(rng = new Random(i)))
      assert (res > 0)
    }
  }
}

这个类PropSpec有它自己的方法runAll,在我看来我应该想用它来运行这些属性检查。

4

0 回答 0