智能体自动构建验证器证明测试架
热点事件持续更新
智能体自动构建验证器证明测试架
1 篇报道1 个报道来源3 小时前更新
先了解这件事
AI 综述
Rohith Kumar Shanmuganathan 等作者提出一种“智能体化证明测试架工程师”，能从软件项目和指定验证目标自动构建可供验证器使用的证明测试架（harness），并用形式化可靠性与精度守卫校验生成的抽象。 作者在 curl 和 libuv 上做探索性案例研究，以源码中已存在的三处历史断言违规作为验证属性；结果显示，该智能体构建的测试架能让 CBMC 检出全部三处违规，并展示了这些测试架在其他验证工具中复用的潜力。上述效果来自作者的探索性案例研究，尚非经独立验证的普遍结论。
AI 根据报道生成 · 3 小时前更新
最新进展10月19日 12:00
面向智能体化证明 harness 工程的研究报道时间线
沿着报道，了解事件的不同侧面。
10月19日
- arXiv cs.SE面向智能体化证明 harness 工程的研究
论文提出一种智能体化证明 harness 工程师，可从软件项目和指定验证目标自动构建可供验证器使用的 harness，并结合形式化可靠性与精度守卫校验生成的抽象。作者在 curl 和 libuv 上做探索性案例研究，以源码中已存在的三处历史断言违规作为验证属性，结果显示该智能体构建的 harness 能让 CBMC 检出全部三处违规，并展示了这些 harness 在其他验证工具中复用的潜力。
本事件热度走势
- 可比范围当前
- 9
- 可比范围峰值
- 1010月19日 13:00
- 近 24 小时变化
- –
02.557.510
13:0014:0015:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。