高階Scalacheck屬性

Question

我是Scala，Scalacheck和specs2的新手，如果問題很明顯的話，我會很滿意。我試圖尋找一個這樣的例子，但沒有找到任何相關的東西。

基本上我正在尋找一種方法來創建一個測試類，使用specs2來定義一個Prop.forAll屬性，該屬性接收另一個scalacheck屬性（如果這是可能的話，不需要），一個生成器（Gen [A]）和一個文件路徑並檢查該屬性是否通過確定的一組樣本（來自發生器）並將錯誤保存在文件中。

無論如何要實現這一點？說到在一個通用的方式

Answer 1

我提出這樣的：

import org.specs2._ 
import org.specs2.execute._ 
import org.scalacheck._ 

class TestSpec extends Specification with ScalaCheck { def is = s2""" 

    Test my RDD $test 

    """ 

    def test = { 
    // get/create a generator 
    val gen: Gen[Row] = ??? 
    // run the property 
    property(gen, "prop1.txt") { r: Row => 
     r.values must haveSize(3) 
    } 
    } 

    def property[A, R : AsResult](g: Gen[A], path: String)(prop: A => R): Result = 
    saveResult(path)(Prop.forAll(g)(prop)) 

    def saveResult[R : AsResult](path: String)(r: R): Result = { 
    val result = AsResult(r) 
    if (!result.isSuccess) writeToFile(result, path) 
    result 
    } 

    def writeToFile(result: Result, path: String) = ??? 

    case class Row(values: List[Int]) 
}