Spock测试条件评估顺序问题：异常未被优先报告

问题描述 #

我写了如下Spock测试：

when:
testedFunction()

then:
noExceptionThrown()
1 * service.action()

运行时，testedFunction()抛出异常导致测试失败，但maven-surefire-plugin的结果只提示service.action()从未被调用，完全没提异常的事。只有删掉1 * service.action()这行，测试才会报告异常，方便排查。

我原以为Spock会优先报告首个失败条件，或者把所有失败都列出来，但没找到相关设置。以下是最小复现示例：

import spock.lang.*

class MyFirstSpec extends Specification {
  class Example {
    public function1() {
       throw new Exception("");
    }
  }
  interface Service {
    void func();
  }
  def "should give an exception failure"() {
    given:
    def service = Mock(Service)
    def ex = new Example()

    when:
    ex.function1()

    then:
    noExceptionThrown()
    1 * service.func()
  }
}

Spock的评估与报告逻辑 #

Spock对then块里的断言和交互验证有明确的优先级：

• 交互验证（如1 * service.func()）会被优先检查：这类验证基于测试执行期间的方法调用记录，不管代码是否抛出异常，Spock都会先核对所有交互次数是否符合预期。
• 普通断言（如noExceptionThrown()）在交互验证之后才会被评估。

所以当when块抛出异常时，service.func()确实没被调用，交互验证先触发失败，此时测试框架可能会优先输出这个失败信息，甚至在部分环境（比如旧版Spock或特定surefire配置下）会跳过后续断言的检查，导致异常问题被隐藏。

解决方案 #

1. 拆分then块：将异常检查和交互验证分成两个then块，强制Spock先评估异常断言。如果第一个块的异常断言失败，测试会直接终止并报告异常，不会进入后续交互验证：

   then:
   noExceptionThrown()
   
   then:
   1 * service.func()
   

2. 使用明确的异常断言语法：用notThrown()替代noExceptionThrown()，部分版本的Spock对这个语法的报告优先级更高，能更清晰地展示异常问题：

   then:
   notThrown(Exception)
   1 * service.func()
   

3. 升级Spock版本：新版Spock（2.x及以上）会同时报告所有失败条件，不会只显示交互验证的问题，升级后能看到异常和交互失败的完整信息。
4. 调整surefire配置：确保maven-surefire-plugin的版本与Spock兼容，开启完整的测试报告输出，避免过滤掉部分失败信息。

内容的提问来源于stack exchange，提问作者zacaj