工程师用 LLM 穷举线程顺序揪出并发 bug

ctojunior 发推分享团队用 AI 抓并发 bug 的实践：一个 worker 换班场景中 worker A 已越过 checkpoint 多应用了几条更新的真实 bug，让 AI 复查时却报告一切正常，测试套件也未覆盖。他们的思路是让模型自主挑选并不断尝试新的线程交错顺序，替代随机并发测试——把每个操作拆成小步骤、在任意线程可切入的位置切分，由模型驱动探索。团队还用 AI 构建了并发测试工具，不依赖 TLA+ 式的形式化规约语言也能抓到真 bug。

2026-09-23 ~ 2026-09-23 · 4 条相关