Question

我有以下代码使用ScalaCheck属性来测试某个类

package quickcheck.tests

import org.scalacheck.Arbitrary._
import org.scalacheck.Gen._
import org.scalacheck.Prop._
import org.scalacheck._
import org.scalacheck.util.ConsoleReporter

class Heap
{
}

object Heap
{
  val empty = new Heap
  def insert(i: Int, h: Heap) = new Heap
}

class TestCheck extends Properties("Heap")
{
  lazy val genHeap: Gen[Heap] =
  {
    def sizedHeap(size: Int): Gen[Heap] =
    {
      if (size <= 0)
        Heap.empty
      else
        for
        (
          i <- arbitrary[Int] suchThat(_ > Int.MinValue);
          s <- choose(0, size);
          h <- sizedHeap(s)
        )
          yield
            Heap.insert(i, h)
    }

    Gen.sized[Heap](sizedHeap)
  }

  implicit lazy val arbHeap: Arbitrary[Heap] = Arbitrary(genHeap)

  property("test1") = forAll
  {
    (h: Heap) => true
  }

  property("test2") = forAll
  {
    (h1: Heap, h2: Heap, n: Int) => true
  }
}

object MyTest extends App
{
  println("*** TEST 1")
  val checkHeap = new TestCheck
  Test.checkProperties(Test.Parameters.default.withTestCallback(ConsoleReporter(1)), 
    checkHeap)

  println("*** TEST 2")
  val checkHeap2 = new TestCheck
  checkHeap2.check

  println("*** TEST 3")
  val checkHeap3 = new TestCheck
  Test.check(Test.Parameters.default.withTestCallback(ConsoleReporter(1)),     checkHeap)
}

如果我通过ScalaCheck Test课程运行它，如果我使用方法Test.checkProperties或方法Test.check，我会得到不同的结果。

这是我得到的输出：

*** TEST 1
+ Heap.test1: OK, passed 100 tests.
+ Heap.test2: OK, passed 100 tests.
*** TEST 2
+ Heap.test1: OK, passed 100 tests.
+ Heap.test2: OK, passed 100 tests.
*** TEST 3
! Gave up after only 40 passed tests. 202 tests were discarded.

我的问题是为什么TEST1给出的结果与TEST3不同。

如果我删除了suchThat过滤器并将for语句保留在sizeHead方法中，请执行以下操作：

for
(
  i <- arbitrary[Int]
  s <- choose(0, size);
  h <- sizedHeap(s)
)
  yield
    Heap.insert(i, h)

我得到以下结果：

*** TEST 1
+ Heap.test1: OK, passed 100 tests.
+ Heap.test2: OK, passed 100 tests.
*** TEST 2
+ Heap.test1: OK, passed 100 tests.
+ Heap.test2: OK, passed 100 tests.
*** TEST 3
+ OK, passed 100 tests.

这是一个错误还是正确的行为？请注意，ScalaTest Checkers.check使用Test.check。

Answer 1

你会得到不同的结果，因为你正在做不同的事情。你的前两个测试 - effectively the same - 分别检查所有属性，而你的第三个属性测试所有属性，好像它们是一个属性。

查看Test.check和Test.checkProperties的签名：前者需要一个Prop，而后者需要一个Properties容器。

在scalacheck 1.12 Properties继承自Prop;如果您将Properties作为Prop传递，则会获得tests whether all contained properties hold的新属性。结果是您使用单个检查配置（即生成器，迭代限制等）测试所有TestCheck属性，并且自然检查配置在某些时候已用尽。

是的，这是预期的行为。当然，这绝对令人困惑，因此scalacheck 1.13删除了此功能：Properties不再继承Prop;你的例子不再在scalacheck 1.13上编译了。

ScalaCheck，调用Test.check或Test.checkProperties

1 个答案: