新闻中心

码农狂喜!微软提出CodePlan,跨168个代码库编码任务,LLM自动化完成

2023-10-04
浏览次数:
返回列表

对于大模型来说,擅长的是本地化编码任务。

如果任务涉及多个相互依赖的文件,LLM无法解决这个问题

微软研究人员为此设计了一个名为CodePlan的任务无关的神经网络框架

☞☞☞AI 智能聊天, 问答助手, AI 智能搜索, 免费无限量使用 DeepSeek R1 模型☜☜☜

码农狂喜!微软提出CodePlan,跨168个代码库编码任务,LLM自动化完成图片

论文地址:https://arxiv.org/pdf/2309.12499.pdf

论文中,CodePlan综合了多步骤编辑链(chain-of-edits),是一种将程序分析、规划和LLM结合在一起的新方法。

一起来具体看看,CodePlan是如何设计的?

CodePlan:大模型+规划

软件工程活动中,例如软件包迁移、修复静态分析或测试的错误报告,以及向代码库添加类型提示或其他规范,涉及到对整个代码存储库的普遍编辑。

研究人员计划这些活动,以实现"存储库级别的编码任务"

编码工具如GitHub Copilot、Code Whisperer已经获得了大模型能力的支持,为码农在本地化编码问题上提供了解决方案

然而,事实是,「存储库级别的编码任务」更加复杂,无法直接通过LLM解决,因为存储库中的代码是相互依赖的,整个存储库可能太大而无法纳入提示

这项研究中,微软团队将库级编码框架作为一个规划问题,并提出了一个任务不可知的框架,称为CodePlan。

CodePlan综合了一个多步骤的编辑链(计划) ,其中每一步都会调用代码位置上的LLM。该代码位置上的上下文来自整个存储库、以前的代码更改和特定于任务的指令。

CodePlan是一种新型组合,它基于增量依赖分析、变更可能影响分析和自适应规划算法

码农狂喜!微软提出CodePlan,跨168个代码库编码任务,LLM自动化完成图片

如下图,展示了复数库API的变化,微软研究人员的任务是根据这一变化迁移代码库。

码农狂喜!微软提出CodePlan,跨168个代码库编码任务,LLM自动化完成图片

在图3的左侧展示了代码库中与使用复数库相关的部分

具体来说,Create.cs文件中的方法func,调用了库中的create_complex方法,Process.cs文件中的方法Process.cs调用了func。

码农狂喜!微软提出CodePlan,跨168个代码库编码任务,LLM自动化完成图片

研究人员将任务描述和func主体从图1传递给LLM,以生成修改后的func代码,如图3右侧所示

可以看到,LLM已经正确地编辑了对create_complex API的调用,以便它返回一个Complex类型的对象,而不是两个浮点值的元组。

注意,这个编辑导致了方法func的签名发生了变化——它现在返回了一个Complex类型的对象。

需要进行修改的是:需要修改方法func的调用者,例如在Process.cs文件中的process方法,如图3左下角所示。如果不对process方法的主体进行适当的修改,代码将无法构建!

图3右下方显示了对process方法的适当修改,它能使版本库达到一致的状态,从而在编译时不会出错。

研究人员的主要任务是建立一个「存储库级别的编码系统」,该系统能够自动生成编辑所需的派生规范

LLM驱动的库级编码任务定义如下:

码农狂喜!微软提出CodePlan,跨168个代码库编码任务,LLM自动化完成图片

在CodePlan的整体框架中,输入包括一个存储库、一个通过自然语言指令或一组初始代码编辑表达种子规范的任务、一个正确性oracle和一个LLM

CodePlan创建了一个计划图,其中每个节点都代表LLM需要执行的代码编辑任务,而边表示目标节点需要在源节点之后执行

CodePlan监控代码编辑,并自适应地扩展计划图。

一旦计划中的所有步骤都已完成,存储库将由oracle进行分析。如果oracle验证了资源库,则任务完成。如果发现错误,错误报告将作为下一轮计划生成和执行的种子规范。

码农狂喜!微软提出CodePlan,跨168个代码库编码任务,LLM自动化完成图片

此外,CodePlan算法还维护了一个依赖关系图,图4说明了依赖关系图的结构。

码农狂喜!微软提出CodePlan,跨168个代码库编码任务,LLM自动化完成图片

刷新SOTA

研究人员对CodePlan在两个存储库级任务上的有效性进行了评估:包迁移(C#)和时态代码编辑(Python)

每个任务在多个代码库上进行评估,每个代码库都需要对多个文件(2-97个文件)进行相互依赖的更改。

码农狂喜!微软提出CodePlan,跨168个代码库编码任务,LLM自动化完成图片

以前从未有过使用LLM自动完成这种复杂程度的编码任务

研究结果显示,与基准相比,CodePlan更符合基本事实,能够使5/6个存储库通过有效性检查,例如无错误构建和正确的代码编辑

总的来说,CodePlan为自动化复杂的库级编码任务提供了一种有前途的方法,既提高了生产效率,又提高了准确性

它成功地应对了许多挑战,为高效可靠的软件工程实践开辟了新的可能性

参考资料:https://www.php.cn/link/23b1f559d8bd157d0d741c83957ed4f2

Glean Glean

Glean是一个专为企业团队设计的AI搜索和知识发现工具

Glean 210 查看详情 Glean

以上就是码农狂喜!微软提出CodePlan,跨168个代码库编码任务,LLM自动化完成的详细内容,更多请关注其它相关文章!


# 代码库  # 唯品会如何营销推广产品  # 电商聊seo  # 黄山seo搜索优化价格  # 中国眼镜行业关键词排名  # 乐亭网站推广地址  # 安顺网站关键词排名公司  # 苏州网站推广怎样做的好  # 相互依赖  # 所示  # 如图  # 忘记密码  # 库中  # 是一种  # 的是  # 多个  # 软件工程  # 微软  # copilot  # github copilot  # codeplan  # 编码  # 最好的SEO黑帽方法  # 怎么利用博客优化网站  # 衡水精品网站建设价格 


相关栏目: 【 行业资讯67740 】 【 技术百科0 】 【 网络运营39195


相关推荐: win10系统如何打开cmd命令  python和typescript学哪个  2026年将会大爆发的15个新科技  单片机怎么连接电路图  系统如何装在固态硬盘  typescript如何生成uuid  如何查看邮件域名解析  基金市盈率是什么意思  硬件如何执行命令  喇叭上POWER4欧是什么意思  typescript学多久可以学会  苹果16颜色有哪些  51单片机怎么连接端口  金色cmyk色值是多少  新固态硬盘如何装系统  j*a怎么处理json数组  固态硬盘2m如何修复  单片机速度怎么看  华硕k20ce怎么装win7  j*a怎么存放数组中  面包车收音机power是什么意思  sql isnull函数如何使用  如何用固态硬盘做缓存  solo交友软件怎么恢复聊天记录  学typescript有什么用  固态硬盘损坏如何修复  哪个牌子的折叠屏手机好  animal是什么意思  夸克文字口令是什么意思  苹果16哪些功能好用  光刻机是干什么用的  5g手机怎么没视频通话功能  typescript如何开发  市盈率ttm是什么意思  夸克搜题的原理是什么  如何查看网站域名解析  数组和J*A怎么打  苹果16系统网站有哪些  苹果16有哪些变化尺寸  什么网址不能域名解析  使用typescript对团队有什么要求  镜像ao3链接入口  1kb等于多少字节  ai如何重复使用上一命令  固态硬盘 如何分区  如何注释typescript  j*a数组求和怎么算  华为如何面对苹果16  如何用命令下载服务器网站  苹果16适合哪些机升级 

搜索