Replit 采用 Antithesis 仿真测试验证 AI 生成代码
Replit CTO 路易斯·查韦斯表示，AI 模型按概率运行，结果每次不同，难以用常规方式找出全部软件问题。
据《The Information》10 月 15 日报道，Replit CTO 路易斯·查韦斯确认，Replit 使用美国弗吉尼亚州软件验证初创公司 Antithesis 的测试平台，用来验证 AI 生成的软件。
Antithesis 的商业平台提供确定性仿真测试，在受控的虚拟环境中运行软件，并注入网络延迟、服务器或存储故障等异常。该平台使用 Antithesis 自研的虚拟机监控器控制执行顺序、时序和网络条件，使失败的一次运行能够被精确复现。
查韦斯表示，AI 模型以概率方式工作，同一次任务在不同运行中结果不同，因此用这种方式很难发现所有软件问题。Antithesis CEO 威尔·威尔逊则称，AI 让编写软件变得容易得多，但验证软件是否真正可用并没有因此变得更容易。
Antithesis 于 10 月 15 日发布消息称，其最新版本可让智能体交付可靠的系统。
背景
Antithesis 的创始人在开发分布式数据库 FoundationDB 时曾使用确定性仿真测试，并于 2018 年成立公司，将这一方法推广到其他软件。2025 年 12 月，Antithesis 完成由 Jane Street 领投的 1.05 亿美元 A 轮融资。今年 1 月，Replit 发布自家研究，指出仅靠 AI 进行安全检查存在局限，同一漏洞会因代码表述或提问方式不同而得到不同评级。
快速问答
Replit 用什么工具测试 AI 生成的代码？
Replit CTO 路易斯·查韦斯确认，公司使用 Antithesis 的确定性仿真测试平台。
Antithesis 的测试平台如何工作？
它在受控虚拟环境中运行软件并注入网络延迟、服务器或存储故障等异常，通过自研虚拟机监控器控制执行顺序、时序和网络条件，使失败能够被精确复现。