用Cucumber JVM生成ScalaCheck测试-通用函数

Question

为了避免X&Y问题，一点背景：

我正在尝试建立一个web项目，在这个项目中，我将复制业务逻辑服务器和客户端，客户端显然使用Javascript，服务器使用Scala。我计划在Cucumber中编写业务逻辑，这样我就可以确保测试和功能在两侧对齐。最后，我想尝试一下将ScalaCheck和JSCheck引入其中，生成输入数据而不是指定数据。

基本上，这些语句是这样工作的：

给定语句，选择添加生成器。当语句指定函数按顺序对这些值执行操作时。然后语句获取输入数据和最终结果数据并运行一个属性。

目标是使这类事情可组合，这样您就可以指定几个生成器，在每个生成器上运行一组操作，然后在输入和结果上运行一套属性。

这已经在Javascript中完成了（技术上是Coffeescript），当然使用动态语言也很简单。基本上，我希望能够在我的scala步骤定义中做到这一点，原谅任意的测试数据：

class CucumberSteps extends ScalaDsl with EN
                    with ShouldMatchers with QuickCheckCucumberSteps {
  Given("""^an list of integer between 0 and 100$""") {
    addGenerator(Gen.containerOf[List, Int](Gen.choose(0,100)))
  }
  Given("""^an list of random string int 500 and 700$""") {
    addGenerator(Gen.containerOf[List, Int](Gen.choose(500,700)))
  }
  When("""^we concatenate the two lists$""") {
    addAction {(l1: List[Int], l2: List[Int]) => l1 ::: l2 }
  }
  Then("""^then the size of the result should equal the sum of the input sizes$""") {
    runProperty { (inputs: (List[Int], List[Int]), result: (List[Int])) =>
      inputs._1.size + inputs._2.size == result._1.size
    }
  }
}

因此，我想做的关键是创建一个特性QuickCheckCucumberSteps，它将成为API，实现addGenerator、addAction和runProperty。

以下是我到目前为止的大致情况，以及我遇到的问题：

trait QuickCheckCucumberSteps extends ShouldMatchers {
  private var generators = ArrayBuffer[Gen[Any]]()
  private var actions = ArrayBuffer[""AnyFunction""]()
  def addGenerator(newGen: Gen[Any]): Unit =
    generators += newGen
  def addAction(newFun: => ""AnyFunction""): Unit =
    actions += newFun
  def buildPartialProp = {
    val li = generators
    generators.length match {
      case 1 => forAll(li(0))_
      case 2 => forAll(li(0), li(1))_
      case 3 => forAll(li(0), li(1), li(2))_
      case 4 => forAll(li(0), li(1), li(2), li(3))_
      case _ => forAll(li(0), li(1), li(2), li(3), li(4))_
    }
  }
  def runProperty(propertyFunc: => Any): Prop = {
    val partial = buildPartialProp
    val property = partial {
      ??? // Need a function that takes x number of generator inputs,
          // applies each action in sequence
          // and then applies the `propertyFunc` to the
          // inputs and results.
    }
    val result = Test.check(new Test.Parameters.Default {},
                            property)
    result.status match {
      case Passed => println("passed all tests")
      case Failed(a, l) => fail(format(pretty(result), "", "", 75))
      case _ => println("other cases")
    }
  }
}

我的关键问题是，我想让注释块成为一个函数，它执行所有添加的操作，按顺序应用它们，然后运行并返回属性函数的结果。这可以用Scala的类型系统来表达吗？如果可以，我该如何开始？很高兴能阅读并获得这本书，但我至少需要一条前进的道路，因为我现在不知道如何表达。如果我想在这里做什么还不清楚，我很乐意加入我的Javascript代码。

Answer 1

如果我是你，我不会把ScalaCheck生成器代码放在Cucumber Given/Whin/Then语句中：）。ScalaCheckapi调用是"测试装备"的一部分，因此不在测试中。试试这个（未编译/测试）：

class CucumberSteps extends ScalaDsl with EN with ShouldMatchers {
  forAll(Gen.containerOf[List, Int](Gen.choose(0,100)), 
         Gen.containerOf[List, Int](Gen.choose(500,700)))
        ((l1: List[Int], l2: List[Int]) => {
          var result: Int = 0
          Given(s"""^a list of integer between 0 and 100: $l1 $""") {   }
          Given(s"""^a list of integer between 0 and 100: $l2 $""") {   }
          When("""^we concatenate the two lists$""") { result = l1 ::: l2 }
          Then("""^the size of the result should equal the sum of the input sizes$""") {
            l1.size + l2.size == result.size }
         })
}