ScalaCheck не подводит?

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; иногда проходят оба теста.

Это нормально для тестирования на основе свойств, или есть что-то, что мне нужно делать (например, всегда предоставляя собственный генератор)?

Answer 1

, но я бы подумал, что это одна из вещей, он всегда будет пытаться

Предположения являются корнем всех зол.

В принципе, все, что вы попросили произвести для вас Scalacheck, это образец Int. Действующий Int может быть одним из ~ 4 миллиардов значений.

Поскольку вы знаете, что 0 будет случаю провал этой функции (исключение брошено), вы можете просто отфильтровать его, как так:

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

PS Если вы проверяете scaladoc для функции whenever там аналогичный пример того, что вы здесь задали.