斯卡拉切克没有失败？

Question

我正在尝试使用ScalaTest和ScalaCheck进行基于属性的测试。我的测试概述如下：

import org.scalatest.prop.PropertyChecks
import org.scalatest.{FlatSpec, Matchers}


object Calc {
  def add(a:Int, b:Int) = a+b

  def div(a:Int, b:Int) = a/b
}


class PropSpec1 extends FlatSpec with Matchers with PropertyChecks {
  behavior of Calc.getClass.getName


  it should "add integers" in {
    forAll { (a: Int, b: Int) =>
      Calc.add(a, b) shouldEqual a + b
    }
  }

  it should "divide integers" in {
    forAll {
      (a:Int, b:Int) => Calc.div(a, b) shouldEqual a/b
    }
  }
}

现在我看到的是，如果我一遍又一遍地运行PropSpec1中的测试，有时第二个测试会通过，但大多数时候会失败。现在，如果0没有被b测试，那么很明显它会通过，但我认为这是它会一直尝试的事情之一。重复运行sbt clean test时，我看到了相同的行为；有时两项测试都通过了。

这对于基于属性的测试是正常的吗，还是我需要做一些事情（比如总是提供我自己的生成器）？

Answer 1

但我认为这是它一直在尝试的事情之一

假设是一切罪恶的根源。

基本上，你要求Scalacheck为你生成的只是一个< code>Int的样本。一个有效的< code>Int可以是大约40亿个值中的一个。

因为您知道0将导致该函数失败(抛出一个异常),所以您可以像这样简单地过滤掉它:

forAll { (a:Int, b:Int) =>
  whenever(a != 0 && b != 0) {
    Calc.div(a, b) mustEqual a/b
  }
}

页（page的缩写）如果你检查scaladoc中的< code > wheach 函数，会有一个类似的例子。