新浪财经 美股

为什么AI编写的软件需要“飞行模拟器”

环球市场播报

关注

随着企业越来越多地借助 AI 开发应用,企业高管表示,一类新型软件的市场需求正在上涨。这类软件会对应用开展压力测试,模拟各类人为容易遗漏的故障场景,包括网络故障、各类灾难,甚至是失控 AI 发起的网络攻击。

代码助手服务商 Replit 的首席技术官路易斯・查韦斯介绍,公司正在使用一套名为确定性模拟器的 AI 辅助工具,它就相当于软件领域的飞行模拟器。所谓 “确定性”,指该模拟器支持反复复现同一套灾难测试场景,方便工程师针对网络故障、黑客攻击场景下暴露的漏洞,反复调试不同修复方案。

传统压力测试,需要开发者预先设想所有可能出现的问题。企业高管称,如果只是单纯用现有的大模型去审查代码,往往会产生大量误报、虚假告警。

查韦斯还提到另一个难题:AI 模型具备概率性输出特征,两次运行的行为表现往往并不一致,因此 “很难” 依靠 AI 找出软件全部潜在缺陷。

Lumen、Pegasystems 等部分企业,已经基于 Anthropic、微软的 AI 产品自研软件测试工具;也有不少企业选用专门赛道初创公司开发的产品。例如 Replit 就在使用弗吉尼亚州初创企业 Antithesis 的工具,该公司现有 200 名员工。根据官网信息,这家 2018 年成立的公司,客户还包括帕兰提尔(Palantir)和 Datadog。

Antithesis 首席执行官威尔・威尔逊表示,自家模拟器部分能力来自自研 AI。

威尔逊称:“AI 极大简化了软件开发工作,但验证软件是否能够可靠运行这件事,并没有随之变简单。”

Gremlin、Chaos Mesh 等初创企业,以及微软、亚马逊这类科技巨头,也提供故障测试软件。它们直接在客户真实服务器上做受控实验,而非虚拟模拟环境,以此检验代码应对各类异常的表现。微软的发言人透露,使用其测试工具的客户数量正在增长。

威尔逊认为,Anthropic 以及 SpaceX 旗下 Cursor 这类 AI 代码工具厂商,最终也会推出确定性模拟器。(上述几家企业代表暂未回应置评请求。)

威尔逊透露,Antithesis 今年 8 月所在财季新增营收,已经超过此前五个财季营收总和,但他拒绝披露具体数据。2025 年末,该公司完成 1.05 亿美元 A 轮融资,由量化基金简街资本领投,投后估值 5.25 亿美元。据知情人士透露,公司很快将开启新一轮融资,目标估值会大幅提升。

加载中...