arXiv cs.SE· Sion Israel Sion, Alain April·· 2 小时前AI 评分47
谁来验证构建者？面向智能体生成软件的独立保障框架
Who Verifies the Builder? Toward Independent Assurance for Agent-Produced Software
AI 导读
论文提出智能体同时产出代码和测试时，通过的测试不再是独立证据，需要与构建环节结构分离的保障层。作者提出分离构建与验证的框架，引入验证契约，并分为不接触实现、先看规格的阶段和基于变异分析、属性测试与模糊测试的实现感知阶段，最终由人决定是否发布。
来源：arXiv cs.SE · arxiv.org