Sean Allen 谈软件正确性与供应链安全

Antithesis 杰出工程师、Pony 语言核心贡献者 Sean Allen 主张，手动测试是保证正确性最差的方式，应让语言在编译期禁止非法状态被表达，并用可反复执行的“workloads”（如压测数据库隔离性的 The Bank Test）替代单元测试。 他同时认为，质量校验应前移到设计阶段，而非依赖后期 CI/CD 关卡。

AI 根据报道生成 · 17 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。