e-Otter++ 系统自动生成 fail-to-pass 复现测试,破解 bug 验证难题

burkov · x · 2026-11-01

软件工程的 bug 报告通常只有人工写的非正式描述,缺少能复现问题的自动化测试。自动生成「复现测试」对现代软件工程至关重要:它能验证 bug 是否真实、支撑测试驱动开发、确认补丁有效并防止回归。

难点在于复现测试必须严格满足「fail-to-pass」行为——在修复前的代码库上失败以确认 bug 存在,在修复后的代码库上通过以确认已解决——而且这一切要在最终修复补丁写出来之前完成。

文章评测并演示了一套名为 e-Otter++ 的自动化复现测试生成与筛选系统,目标是自动产出符合该约束的测试。

原文链接 →

「编程与Agent」频道最新

更多「编程与Agent」频道 AI 资讯 →