Antithesis 确定性模拟测试验证软件

2026年10月15日，Software Engineering Daily 报道了 Antithesis 这家围绕确定性模拟测试构建的软件验证公司。报道称，其平台在完全受控环境中运行客户软件，在运行时探索数千条路径，且这些路径并非预先指定或仅限预期用例，从而发现常规测试无法捕捉的罕见破坏性 bug。报道将这一能力置于 AI 编码智能体时代的软件验证背景下介绍。目前该事件仅有这一篇报道，尚无更早报道或后续进展，因此不存在数字、时间或说法上的前后矛盾。

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

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