反对者从可维护性角度指出，行为等价并不等于理解等价：故障排查需要的因果模型、安全审计需要的威胁模型，都无法仅从测试通过这一事实中推导出来。