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