Hohe Scalacheck-Eigenschaft

Question

Ich bin neu in Scala, Scalacheck und specs2 also ertragen Sie mit mir, wenn vielleicht Frage ist offensichtlich. Ich habe versucht, ein Beispiel dafür zu sehen, konnte aber nichts Ähnliches finden.

Grundsätzlich suche ich nach einer Möglichkeit, eine Testklasse mit specs2 zu erstellen, um eine Prop.forAll-Eigenschaft zu definieren, die als Parameter eine weitere scalacheck-Eigenschaft (donno, falls das möglich ist), einen Generator (Gen [A]) und einen Dateipfad und prüft, ob die Eigenschaft für eine bestimmte Gruppe von Samples (vom Generator kommend) besteht und speichert den Fehler in der Datei.

Gibt es trotzdem, dies zu implementieren? Im Gespräch in allgemeiner Weise

Answer 1

Ich schlage vor, diese:

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]) 
}