标签
本文介绍了OracleGap,一个将测试时协作(如自一致性、验证器)的收益分解为oracle gap、覆盖率、信号保真度和伤害的框架,表明收益受限于oracle gap和信号保真度。它提供了一种部署前的诊断方法,用于判断何时协作有望带来帮助。