scala - Play +specs2+scalacheck？

Question

我似乎不知道如何整合这三者。我找到了如何使用 specs2 和 scalacheck 进行测试，如下所示:

class ExampleSpec extends Specification with ScalaCheck { def is = s2"""
   Example
    scalacheck $e1
  """
  def e1 = prop((i: Int) => i == i)
}

使用所谓的Acceptance specification style .

但是，通过 Play，Unit specification style必须使用 WithApplication 等好东西。

我天真地认为这会起作用:

class PlayExampleSpec extends PlaySpecification with ScalaCheck {
  "Play" in new WithApplication() {
    "scalacheck" in prop((s: String) => s == s)
  }
}

测试根本没有执行。我查了半个网上也没有用。请帮忙。

Answer 1

如果您使用 WithApplication，您需要能够在属性失败时抛出异常(因为 prop 是纯的，并且会丢失在 的主体中) WithApplication)。 AsResult 为您执行此操作:

import org.specs2.execute.AsResult

class TestMutableSpec extends mutable.Specification with ScalaCheck {
  "Example" in new WithApplication { 
    AsResult {
      prop((s: String) => s != s)
    }
  }
}

上面的例子应该会失败。