AutoCodeRover: 革命性的自主程序改进系统

RayRay
AutoCodeRover程序改进AI修复代码搜索统计故障定位Github开源项目

auto-code-rover

AutoCodeRover:革命性的自主程序改进系统

近年来,人工智能在软件开发领域的应用日益广泛。由新加坡国立大学研究团队开发的AutoCodeRover项目,正是这一趋势下的重要成果。AutoCodeRover是一个基于大型语言模型(LLM)的自主软件工程系统,旨在实现程序的自动化改进。该项目通过结合先进的代码搜索和分析能力,能够自动解决GitHub issues并生成相应的代码修复方案,为软件开发流程带来了革命性的变革。

项目概述与核心功能

AutoCodeRover的核心目标是实现软件工程中的自主程序改进。它采用了一种全自动化的方法来解决GitHub issues,包括bug修复和功能添加。系统的工作流程主要分为两个阶段:

  1. 上下文检索:利用程序结构感知的代码搜索API,LLM能够在代码库中导航并收集相关上下文信息。

  2. 补丁生成:基于检索到的上下文,LLM尝试编写修复补丁。

AutoCodeRover工作流程图

AutoCodeRover具有两个独特的特性,使其在同类系统中脱颖而出:

  1. 程序结构感知的代码搜索API:不同于简单的字符串匹配,AutoCodeRover能够在抽象语法树中搜索相关的代码上下文(如方法/类),从而更准确地定位问题所在。

  2. 利用测试用例提高修复率:当有测试套件可用时,AutoCodeRover可以通过统计故障定位来利用测试用例,进一步提高代码修复的成功率。

卓越的性能表现

AutoCodeRover在多个基准测试中展现出了令人瞩目的性能。以下是其在不同版本和测试集上的表现:

  • 在OpenAI发布的SWE-bench Verified数据集上,AutoCodeRover(v20240620)达到了**38.40%**的有效性,而AutoCodeRover(v20240408)达到了28.8%的有效性。

  • 在SWE-bench-lite基准测试中,AutoCodeRover(v20240620)成功解决了**30.67%**的问题(pass@1)。

  • AutoCodeRover(v20240408)的首次发布版本在SWE-bench lite中解决了**19%**的问题(pass@1),超越了当时AI软件工程师的最新水平。

AutoCodeRover性能对比图

值得注意的是,AutoCodeRover不仅在解决问题的有效性上表现出色,而且在经济性方面也具有显著优势。每个任务的成本不到0.7美元,并且能在7分钟内完成,这使得它成为一个极具实用价值的工具。

实际应用案例

为了展示AutoCodeRover的实际应用能力,研究团队以Django框架的一个真实问题为例进行了演示。AutoCodeRover成功修复了Django的issue #32347。这个例子充分展示了系统在处理实际项目中复杂问题时的能力。

此外,当有测试用例可用时,AutoCodeRover的表现会更加出色。研究团队通过视频演示了系统如何利用测试用例来解决更多问题,进一步证明了其在实际开发环境中的应用潜力。

灵活的运行模式

AutoCodeRover支持多种运行模式,以适应不同的使用场景:

  1. GitHub issue模式:通过提供GitHub issue的链接,直接在线解决问题。

  2. 本地issue模式:在本地代码库和issue描述文件上运行。

  3. SWE-bench模式:在SWE-bench任务实例上运行,用于基准测试和性能评估。

这种灵活性使得AutoCodeRover能够适应各种开发环境和工作流程,为开发者提供了极大的便利。

多模型支持

AutoCodeRover的另一个突出特点是其广泛的模型支持。它可以与多种基础模型配合使用,包括OpenAI的GPT系列、Anthropic的Claude系列、Meta的Llama系列,以及AWS和Groq提供的多种模型。这种多样性使得用户可以根据自己的需求和资源选择最适合的模型,进一步提高了系统的适用性和性能。

未来展望

AutoCodeRover项目的成功标志着自主软件工程领域的一个重要里程碑。随着技术的不断进步,我们可以期待看到更多类似的创新,进一步推动软件开发自动化的发展。未来,AutoCodeRover可能在以下几个方面继续演进:

  1. 提高解决复杂问题的能力,扩大适用的问题范围。

  2. 进一步提升代码生成的质量和可靠性。

  3. 增强与现有开发工具和流程的集成度。

  4. 探索在更大规模的项目和更diverse的编程语言中的应用。

结语

AutoCodeRover代表了软件工程自动化的最新进展,为解决软件开发中的常见问题提供了一个强大而灵活的工具。虽然目前的成功率还有提升空间,但其已经展现出了巨大的潜力。随着技术的不断发展和完善,我们有理由相信,像AutoCodeRover这样的系统将在未来的软件开发中发挥越来越重要的作用,推动整个行业向更高效、更智能的方向发展。

对于开发者和研究者来说,AutoCodeRover提供了一个绝佳的平台,用于探索和实践AI辅助软件开发。通过参与和使用这样的开源项目,我们可以共同推动技术的进步,为软件工程的未来贡献自己的力量。


相关链接:

编辑推荐精选

Vora

Vora

免费创建高清无水印Sora视频

Vora是一个免费创建高清无水印Sora视频的AI工具

Refly.AI

Refly.AI

最适合小白的AI自动化工作流平台

无需编码,轻松生成可复用、可变现的AI自动化工作流

酷表ChatExcel

酷表ChatExcel

大模型驱动的Excel数据处理工具

基于大模型交互的表格处理系统,允许用户通过对话方式完成数据整理和可视化分析。系统采用机器学习算法解析用户指令,自动执行排序、公式计算和数据透视等操作,支持多种文件格式导入导出。数据处理响应速度保持在0.8秒以内,支持超过100万行数据的即时分析。

AI工具酷表ChatExcelAI智能客服AI营销产品使用教程
TRAE编程

TRAE编程

AI辅助编程,代码自动修复

Trae是一种自适应的集成开发环境(IDE),通过自动化和多元协作改变开发流程。利用Trae,团队能够更快速、精确地编写和部署代码,从而提高编程效率和项目交付速度。Trae具备上下文感知和代码自动完成功能,是提升开发效率的理想工具。

AI工具TraeAI IDE协作生产力转型热门
AIWritePaper论文写作

AIWritePaper论文写作

AI论文写作指导平台

AIWritePaper论文写作是一站式AI论文写作辅助工具,简化了选题、文献检索至论文撰写的整个过程。通过简单设定,平台可快速生成高质量论文大纲和全文,配合图表、参考文献等一应俱全,同时提供开题报告和答辩PPT等增值服务,保障数据安全,有效提升写作效率和论文质量。

AI辅助写作AI工具AI论文工具论文写作智能生成大纲数据安全AI助手热门
博思AIPPT

博思AIPPT

AI一键生成PPT,就用博思AIPPT!

博思AIPPT,新一代的AI生成PPT平台,支持智能生成PPT、AI美化PPT、文本&链接生成PPT、导入Word/PDF/Markdown文档生成PPT等,内置海量精美PPT模板,涵盖商务、教育、科技等不同风格,同时针对每个页面提供多种版式,一键自适应切换,完美适配各种办公场景。

AI办公办公工具AI工具博思AIPPTAI生成PPT智能排版海量精品模板AI创作热门
潮际好麦

潮际好麦

AI赋能电商视觉革命,一站式智能商拍平台

潮际好麦深耕服装行业,是国内AI试衣效果最好的软件。使用先进AIGC能力为电商卖家批量提供优质的、低成本的商拍图。合作品牌有Shein、Lazada、安踏、百丽等65个国内外头部品牌,以及国内10万+淘宝、天猫、京东等主流平台的品牌商家,为卖家节省将近85%的出图成本,提升约3倍出图效率,让品牌能够快速上架。

iTerms

iTerms

企业专属的AI法律顾问

iTerms是法大大集团旗下法律子品牌,基于最先进的大语言模型(LLM)、专业的法律知识库和强大的智能体架构,帮助企业扫清合规障碍,筑牢风控防线,成为您企业专属的AI法律顾问。

SimilarWeb流量提升

SimilarWeb流量提升

稳定高效的流量提升解决方案,助力品牌曝光

稳定高效的流量提升解决方案,助力品牌曝光

Sora2视频免费生成

Sora2视频免费生成

最新版Sora2模型免费使用,一键生成无水印视频

最新版Sora2模型免费使用,一键生成无水印视频

下拉加载更多