English(EN) Who Verifies the Builder? Toward Independent Assurance for Agent-Produced Software

新框架提议对人工智能生成的软件进行独立验证

作者 PulseAugur 编辑部 · [1 个来源] · 2026-10-23 04:00

本文介绍了一个用于独立验证人工智能编码代理生成的软件的框架。作者认为，当一个人工智能系统同时生成软件及其测试时，这些测试就缺乏独立保证，并可能成为优化目标。他们提出了一个分离构建和验证过程的系统，建立了一个“验证契约”，以定义发布前所需的演示。该框架包括一个优先规范的验证阶段和一个利用变异分析、基于属性的测试和模糊测试的感知实现阶段，最终生成一份供人工审查的保证报告。 AI

影响这项研究解决了人工智能生成软件中的一个关键差距，提出了确保可靠性和可信度的方法，超越了自我生成的测试。

排序理由学术论文，提出了一个新的软件验证框架。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.AI 阅读 →

AI 生成摘要 · Google Gemini · 来自 1 个来源。我们如何撰写摘要 →

本文如何被排名

Signal score: 5 / 100; Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket: Tool; 学术论文，提出了一个新的软件验证框架。[lever_c_demoted from research: ic=1 ai=1.0]
Source corroboration: Single-source cluster; Only one publisher covered this so far. Single-source stories can still rank when the publisher is high-authority, but they lack cross-source corroboration.
Topics: paper, safety; Editorial topic classification. Feeds into how the story surfaces on /topic/<slug> hub pages and into the per-entity coverage mix.
AI-industry relevance: High; Clearly on-topic for AI-industry coverage.
Story freshness: Same-day; Cluster formed today. Ranking reflects the current source set at time of score.

完整方法见我们的编辑标准。

报道来源 [1]

arXiv cs.AI TIER_1 English(EN) · Sion Israel Sion, Alain April · 2026-10-23 04:00

Who Verifies the Builder? Toward Independent Assurance for Agent-Produced Software

arXiv:2610.28667v1 Announce Type: cross Abstract: Coding agents can now implement a specification, write and run tests, repair failures, and declare the result ready for release. When the same agentic system produces both the software and the evidence of its correctness, a passin…

本文如何被排名

报道来源 [1]

Who Verifies the Builder? Toward Independent Assurance for Agent-Produced Software

相关实体

相关话题