Question

Spock 是用于 Java 与 Groovy 程序的一种测试和规范框架。优雅以及高度表达规范的 DSL 都是它脱颖而出的重要因素。在实践中，Spock 规范会以 Groovy 类的形式呈现。虽然编写为 Groovy 类形式，但却可以用于测试 Java 类。Spock 可用于进行单元测试、集成测试，以及 BDD 测试（行为驱动的开发），它并不局限于某一特定类别的测试框架或库。

除了这些非常惊艳的功能外，对于如何在第三方库中利用先进的 Groovy 编程语言特性（比如使用 Groovy AST 转换）这种问题，Spock 也堪称最佳答案。

这一部分内容并不详细介绍 Spock 的具体使用细节，只概述了 Spock 的一些基本内容以及它在各种测试中的应用情况（单元测试、集成测试、功能测试以及其他类型的测试）。

下面首先剖析 Spock 规范，它能让你迅速了解 Spock 的功能。

4.1 规范

通过 Spock，我们可以编写描述相关系统功能（属性、方面）的规范。这里所说的“系统”可以是任何东西，既可以是单个类，也可以是整个的应用程序，更准确的描述应该是“遵循某种规范的系统”。“功能描述”始于系统与其协作对象的一个特殊快照，这种快照被称为“功能夹具”。

Spock 规范类衍生自 spock.lang.Specification 。具体的规范类可能含有字段、夹具方法、功能方法以及辅助方法。

下面来看看一个假想的 Stack 类的简单规范，它只带有一个功能方法：

class StackSpec extends Specification {

  def "adding an element leads to size increase"() {  1⃣️
    setup: "a new stack instance is created"    2⃣️
      def stack = new Stack()

    when:                       3⃣️
      stack.push 42

    then:                       4⃣️
      stack.size() == 1
  }
}

1⃣️ 功能方法，按照归约，以字符串字面量形式命名。
2⃣️ 设置块，包含用于功能所需完成工作的所有设置内容。
3⃣️ When 语句块描述了一种刺激性条件，由功能规范所确定的一种目标特定行为。 4⃣️ Then 语句块包含的表达式能够验证由 When 语句块触发的代码结果。

Spock 功能规范被定义为 spock.lang.Specification 类中的方法。它们使用字符串字面量而不是方法名来描述功能。

功能方法持有多个语句块，在我们这个小例子中，使用了 setup 、 when 和 then 。 setup 很特殊，它是可选的，可以用来配置出现在功能方法中的本地变量。 when 语句块定义了刺激条件，是描述该刺激条件响应的 then 语句块的对应物。

注意， StackSpec 中的 setup 方法额外还存在一个描述字符串，这种描述字符串是可选的，可以添加到任何语句块标签（ setup 、 when 和 then ）的后面。

4.2 更多 Spock 的详细信息

Spock 还提供更多的高级功能，比如像数据表及高级模拟功能，等等。可参看 Spock GitHub page 获取更多信息及下载信息。