高鹏飞-面向复杂软件工程任务的CodingAgent

面向复杂软件工程任务的Coding Agent高鹏飞 | 字节跳动高鹏飞字节跳动 Trae Research Team上海科技大学计算机科学与技术工学博士学位，导师宋富研究员。曾访问新加坡管理大学，导师孙军教授。主要研究方向为利用形式化方法保障软件的安全性和可靠性。博士期间共发表高水平论文10篇，包括一作身份发表ACMTOSEM3篇，IEEETSE1篇，OOPSLA20241篇，荣获教育部博士研究生国家奖学金，上海市优秀毕业生，2023年CCF形式化专委优秀博士论文激励计划等荣誉。在字节跳动MarsCodeResearchTeam，负责 Coding Agent 的前沿探索和落地-开源 & 闭源模型特性 / SWEAgent模型训练-Agent算法的优化-VibeCoding下的软件工程新范式目 录CONTENTSI.背景II.Bugfix AgentIII.Build AgentIV.Reproduce AgentV.Evaluation AgentVI.总结与展望背景PART 01Agent•LLM-based Agent•进行tool call•环境交互•复杂任务•与workflow 的区别•是否进行自主决策“Agents are models using tools in a loop”---------Hannah Moran, Anthropic面向复杂软件工程任务的Coding Agent•Bugfix Agent•Build Agent面向复杂软件工程任务的Coding Agent•Reproduce Agent•Evaluation AgentBugfix AgentPART 02Bugfix Agent•自动求解 GitHub issue 的 Agent•bug fix 是复杂软件工程任务的代表•错误定位 和 缺陷修复•代码仓粒度的代码理解•代码生成：reproduce script 生成 & patch生成•命令执行：reproduce script 执行Bugfix Agent•代码检索•Code Knowledge Graph & LSP•动态调试•Reproduce Script 的生成和运行•依赖代码仓运行环境•静态修复•生成修复计划，Symbol 编辑•不依赖代码仓运行环境Evaluation on SWE-bench•12 个 To