提出构建与验证分离的智能体软件保障框架

Sion Israel Sion 与 Alain April 提出一套将“构建”与“验证”分离的智能体软件保障框架，用于应对编码智能体同时产出软件与正确性证据的问题。 该框架引入“验证契约”，规定软件发布前必须证明的内容，并把验证分为两阶段：第一阶段在不接触实现的情况下按规格验证；第二阶段基于变异分析、属性测试和模糊测试进行实现感知验证。最终由框架生成保障报告，发布决定仍交由人类作出。

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

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