自动检查圈

自动检查圈（Automated Verification Loop）指将“什么算对”写成机器可执行的判据，如单元测试、类型检查、静态分析、集成测试等，任何代码合并前必须全部通过。

自动检查圈与“随便跑跑测试”的区别在于：判据是事先、穷尽式定义的，而非事后挑几个用例验证。

对于不读代码的人，自动检查圈的价值在于将质量保证从“人的阅读理解”转化为“可重复、可审计的通过/失败信号”。