Question

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

基本上我正在寻找一种方法来创建一个测试类，使用specs2定义一个Prop.forAll属性，它接收另一个scalacheck属性（如果可能的话，不知道），一个生成器（Gen [A]）和一个filepath并检查属性是否传递了一组确定的样本（来自生成器）并将错误保存在文件中。

有没有实现这个？用通用的方式说话

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

高阶Scalacheck财产

1 个答案: