在 specs2 框架中，为什么使用 Scope 会阻止执行 forAll 量词？

Question

在下面的代码中，如何让Specs2执行第一个测试？ "print ones" 测试在它应该失败的时候通过了。由于 new Scope.

，forAll() 部分中的代码未执行

println 语句仅用于跟踪输出。如果您看到任何以 "one".

开头的行，请告诉我

空的Scope只是为了演示问题。这是从我实际在 Scope.

中使用变量的代码中删除的

import org.scalacheck.Gen
import org.scalacheck.Prop._
import org.specs2.ScalaCheck
import org.specs2.mutable.Specification
import org.specs2.specification.Scope

class TestingSpec extends Specification with ScalaCheck {
  "sample test" should {
    "print ones" in new Scope { 
      println("The first test passes, but should fail")
      forAll(Gen.posNum[Int]) { (x: Int) =>
          println("one: " + x)
          (0 < x) mustNotEqual true
      } 
    } 

    "print twos" in { 
      println("The second test passes and prints twos")
      forAll(Gen.posNum[Int]) { (x: Int) =>
        println("two: " + x)
        (0 < x) mustEqual true
      } 
    } 
  }
}

这是我的输出：

sbt> testOnly TestingSpec
The second test passes and prints twos
The first test passes, but should fail
two: 1
two: 2
two: 1
    ...
two: 50
two: 34
two: 41
[info] TestingSpec
[info] 
[info] sample test should
[info]   + print ones
[info]   + print twos
[info] 
[info] Total for specification TestingSpec
[info] Finished in 96 ms
[info] 2 examples, 101 expectations, 0 failure, 0 error
[info] 
[info] Passed: Total 2, Failed 0, Errors 0, Passed 2
[success] Total time: 3 s, completed Apr 28, 2015 3:14:15 PM

P.S。我将我的项目依赖项从版本 2.4.15 更新到 specs2 3.5。还是有这个问题...

Answer 1

这是因为您放入 Scope 中的任何内容在出现故障时都必须抛出异常。 ScalaCheck Prop 除非您执行它，否则不会执行任何操作，因此您的示例将始终通过。

解决方法是将 Prop 转换为 specs2 Result，例如使用以下隐式：

import org.specs2.execute._

implicit class RunProp(p: Prop) {
  def run: Result = 
    AsResult(p)
}

然后

"print ones" in new Scope { 
  println("The first test passes, but should fail")
   forAll(Gen.posNum[Int]) { (x: Int) =>
     println("one: " + x)
      (0 < x) mustNotEqual true
   }.run 
}

Answer 2

我发现的另一种方法是从 Prop 开始，然后按如下方式定义 Scope：


"print ones" in forAll(Gen.posNum[Int]) { (x: Int) =>
    new Scope { 
       println("The first test passes, but should fail")
       println("one: " + x)
        (0 < x) mustNotEqual true
    } 
}

与@Eric 的回答相比，我更喜欢这种方法，因为首先你不需要隐式 class，其次你不必调用你可能会忘记的 run。

在 specs2 框架中，为什么使用 Scope 会阻止执行 forAll 量词？

In the specs2 framework, why does using a Scope prevent execution of a forAll quantifier?

scala

scalacheck

specs2