高阶 Scalacheck 属性

Question

我是 Scala、Scalacheck 和 specs2 的新手，所以如果问题很明显，请耐心等待。我试图看一个这样的例子，但找不到任何相关的东西。

基本上，我正在寻找一种方法来创建一个测试类，使用 specs2 来定义一个 Prop.forAll 属性，该属性接收另一个 scalacheck 属性（如果可能的话，donno）、一个生成器（ 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])
}