高阶Scalacheck性质

Question

我刚接触过Scala、Scalacheck和specs2，所以如果问题很明显的话，请原谅我。我试着找一个例子，但找不到任何相关的东西。

基本上，我正在寻找一种使用specs2创建测试类的方法，它定义一个Prop.forAll属性，该属性作为参数接收另一个scalacheck属性(如果有可能的话)、生成器( GenA )和文件路径，并检查该属性是否通过确定的样本集(来自生成器)并保存文件中的错误。

是否有这方面的实现？泛泛而谈

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