我想用基于属性的测试风格来测试我的代码。
我有一些生成器,它总是生成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
,在我看来我应该想用它来运行这些属性检查。