arXiv:2508.17343cs.SEcs.AI2025-08被引 14

AI代理正从写代码迈向全流程软件工程,核心是理解开发者意图。

Agentic AI for Software: thoughts from Software Engineering community

  • 用AI代理自主完成编码、测试、修复等任务,结合程序分析工具做微决策。
  • 未来软件流程将包含AI自动生成代码并集成,需配套AI验证与测试机制。
  • 适合关注AI辅助开发、自动化测试及可信AI系统的工程师与研究者。

AI代理在软件工程中展现出巨大潜力。尽管公众关注点集中于大语言模型(LLMs)通过提示生成代码,但软件工程远不止编程。在代码层面,常见任务包括代码生成、测试和程序修复;在设计层面,则涵盖架构探索、需求理解及代码层面的需求强制。这些任务涉及众多微观决策,可由AI代理在程序分析工具辅助下自主完成,从而形成“AI软件工程师”的愿景——将AI视为开发团队成员。实现可信的基于智能体的软件工作流,关键在于解决软件工程的核心难题:解读和澄清开发者意图。意图推断成为软件维护与程序修复等任务的核心。成功部署智能体技术需在意图推断方面取得概念性进展。随着自动化程度提高,自动生成的代码量激增,需应对由此带来的整合挑战。因此,基于AI的验证与确认(V&V)成为新兴方向。我们预测,未来的智能体软件工作流将包含此类AI驱动的V&V。

原文摘要 · Abstract (English)

AI agents have recently shown significant promise in software engineering. Much public attention has been transfixed on the topic of code generation from Large Language Models (LLMs) via a prompt. However, software engineering is much more than programming, and AI agents go far beyond instructions given by a prompt. At the code level, common software tasks include code generation, testing, and program repair. Design level software tasks may include architecture exploration, requirements understanding, and requirements enforcement at the code level. Each of these software tasks involves micro-decisions which can be taken autonomously by an AI agent, aided by program analysis tools. This creates the vision of an AI software engineer, where the AI agent can be seen as a member of a development team. Conceptually, the key to successfully developing trustworthy agentic AI-based software workflows will be to resolve the core difficulty in software engineering - the deciphering and clarification of developer intent. Specification inference, or deciphering the intent, thus lies at the heart of many software tasks, including software maintenance and program repair. A successful deployment of agentic technology into software engineering would involve making conceptual progress in such intent inference via agents. Trusting the AI agent becomes a key aspect, as software engineering becomes more automated. Higher automation also leads to higher volume of code being automatically generated, and then integrated into code-bases. Thus to deal with this explosion, an emerging direction is AI-based verification and validation (V & V) of AI generated code. We posit that agentic software workflows in future will include such AIbased V&V.

AI代理软件工程意图推断自动化验证

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。