ScalaCheck、異なる動作Test.checkまたはTest.checkProperties

Question

を呼び出すときに、私は次のコードを持っている

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を使用します。

これは、私が手に出力されます：TEST1がTEST3とは異なる結果を与える理由

*** 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. 

私の質問です。

私はsuchThatフィルタを削除し、このようsizeHead方法でfor声明を残す場合：

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

あなたは違うことをしているので、結果が違ってきます。最初の2つのテスト（effectively the same）はすべてのプロパティを個別にチェックし、3番目のテストではすべてのプロパティをテストします。は、単一のプロパティと同じです。

Test.checkとTest.checkPropertiesのシグネチャを見てください。前者はPropの1つで、後者はPropertiesのコンテナです。

scalacheckで1.12 PropertiesはPropから継承します。 PropertiesをPropとすれば、という新しいプロパティはtests whether all contained properties holdとなります。その結果、すべてのプロパティを単一のチェック設定（つまり、ジェネレータ、反復制限など）でテストし、そのチェック設定がある時点で使い果たされることがあります。

はい、これは予想される動作です。もちろん、それは絶対に紛らわしいので、scalacheck 1.13はこの機能を削除しました：PropertiesはPropから継承しません。あなたの例はもうscalacheck 1.13でコンパイルされません。