首页 > 业界 > 关键词  > 正文

微软开发可高效揪除代码错误的BugLabs人工智能解决方案

2021-12-10 14:16 · 稿源: cnbeta

微软研究院首席研究员 Miltos Alamanis 与高级首席研究主管 Marc Brockschmidt,刚刚在一篇博客文章中介绍了他们新开发的 BugLabs 人工智能。顾名思义。这是一套专门用于发现代码中的错误,帮助开发者更精准、高效地调试其应用程序的 AI 解决方案。而且它的开发过程,与创建生成对抗网络(GAN)的形式大致相同。

(来自:Microsoft Research Blog)

在《借助深度学习查找并修复错误》一文中,微软研究员介绍了他们设置的两个相互对抗的网络。其中一个旨在将小错误引入代码,另一个则旨在发现这些 bug 。

随着深度学习训练的持续推进,AI 的能力也变得愈加完善,最终成为了我们看到的这个特别擅长识别“隐藏在真是代码中的 bug”的人工智能。

这种方法的优点,在于全程无需自我监督或标记数据。Miltos Allamanis 与 Marc Brockschmidt 在报告中提到:

理论上,我们可以将之广泛地应用于‘捉迷藏’游戏 —— 教授机器去识别任务复杂的错误。遗憾的是,这些 bug 通常超出了现代人工智能方法的运用范围。

有鉴于此,研究团队决定更加专注于一组常见的错误 —— 包括不正确的比较(例如使用 = 而不使用或符号、不适当的布尔运算符(与 / 或)、滥用变量(误用 i 而不是 j)等。

系统测试期间,微软研究员特别专注于 Python 代码。一旦检测器通过了训练,即可将它用于检测和修复实际代码中的 bug 。

不过为了均衡性能,他们还是手动注释了 Python Package Index 中包含的某些类型的小错误数据集。

最终与随机错误插入等其它替代方案相比,其“hide-and-seek”训练模型有高达三成的领先优势,前景很是光明。

具体说来是,hide-and-seek 能够自动找到并修复大约 26% 的错误,且其中包括了 19 个此前未知的真实开源 GitHub 代码中的 bug 。

与此同时,现阶段的 AI 模型仍存在许多误报。在投入实际运用之前,显然还需要开展更多的改进。

最后,鉴于微软已经成功地推动了 GitHub 上的 GPT-3 项目,预计 hide-and-seek 也将很快迎来商业化应用。

举报

  • 相关推荐
  • 锚定AI技术,艾力斯特深度布局人工智能康复医疗领域

    2025年3月21日,iRest艾力斯特在温州召开"AI+康复与产学研融合创新高峰论坛暨经销商大会"。大会汇聚全球顶尖学者、行业专家及千余名经销商代表,围绕智能康复、人工智能与医疗健康的融合展开深入探讨。公司宣布将重点布局脑机接口技术在康复设备中的应用,并接入DeepSeek AI系统实现个性化健康管理。iRest总裁周玲卫提出三大目标:建立全球无感信息感知优势、打造国际化研发高地、推动科技成果产业化。企业还与浙江省残疾人福利基金会达成战略合作,推动智能康复设备进社区、进家庭。作为中国按摩器具行业领军企业,iRest持续深耕智能康复领域,通过技术创新实现从实验室到家庭医疗场景的全面普及。

  • 通过技术赋能与生态构建 一品威客提供高效的创意解决方案

    在数字经济高速发展的今天,中小企业普遍面临资源分散、成本高企、人才匹配困难等挑战。一品威客作为国内知名的数智化创意设计交易服务平台,通过技术赋能与生态构建,为中小企业提供了从创意需求发布到服务交付的全链路、数字化的创意解决方案。跨地域“技术输血”,破解本地资源困局江西景德镇的吴总在 2025 年 3 月计划开发商城小程序和网站时,面临本地技术�

  • 声通科技汤敬华:寻找可信、靠谱的人工智能技术

    声通科技董事长汤敬华在第三届数字化发展大会上表示,人工智能进入商业领域必须可信可靠。该公司专注交互式AI20年,提出"可信AI实现架构",强调AI需根据不同场景设定合理准确度标准(80%-99.9%),而非追求100%完美。他指出可信AI需要技术支撑与综合能力,包括数据训练、平台可信度及持续运营能力。声通科技已形成覆盖智慧城市、金融等领域的全栈式解决方案,并与商创院成立可信AI实验室,推动产学研合作。汤敬华认为,AI发展需平衡安全与创新,重大决策过程必须透明可靠。

  • 找AI服务?来这儿就对了!一品威客网上线“人工智能”分类

    一品威客网正式上线"人工智能"分类,整合优质AI服务资源,打造高效对接平台。该平台覆盖AI内容创作、数据服务、大模型应用、智能体搭建、技术开发等多元领域,满足企业数字化转型需求。平台汇聚DeepSeek、ChatGPT等知名AI服务,以及齐飞未来等专业AI企业,提供从算法研发到应用落地的全链条服务。通过连接中小微企业与AI服务商,促进产业生态共赢,助力企业在数字化浪潮中抢占先机。未来将持续优化AI服务,推动行业创新发展。

  • Arm 发布《人工智能就绪指数报告》,定义全球 AI 实施新基准

    人工智能已经迅速从未来的概念蜕变为眼下的关键商业工具。面对AI的无限可能,企业是否已经做好充分准备?Arm《人工智能就绪指数报告》将扮演“战略灯塔”,为航行在复杂的AI海域的企业指明方向。

  • 环境保护抛诸脑后!美国全力发展人工智能:寻求利用煤电做能源主导

    作为目前美国全力发展的方向,特朗普表示要靠煤电来推动人工智能。美国总统特朗普下令,寻求利用煤电以主导人工智能。现在美国退出了上述协定,基本上就是表明了自己的态度。

  • 深化“数字浙江”建设推动人工智能质量发展大会在杭召开,趣链科技受邀参加

    浙江召开“数字浙江”建设推进大会,聚焦人工智能高质量发展,强调从技术驱动转向数据运营,再到智能融合赋能的系统性跨越,推动企业成为数智创新领军者。趣链科技作为行业重点企业代表参与会议,并提出“链上一次动脑子都值得、可信”的理念,表示不仅信数据,也能信算法,将继续坚持“让世界更可信,让信任更简单”的使命,助力浙江打造人工智能创新发展高地。

  • “十年内就会被人工智能取代”,ChatGPT 们可以取代律师吗?

    每个人都知道直接与律师、医生、会计们交谈,会比找 ChatGPT 更好。但我们仍然更倾向于使用 ChatGPT……

  • 共绘AI未来新图景,第五届全国人工智能大赛圆满落幕

    2025年4月30日,第五届全国人工智能大赛在深圳鹏城实验室圆满落幕。本届大赛由鹏城实验室主办,华为、中国移动等协办,历时6个月,吸引全球5060支团队参赛。31支决赛团队在"AI+图像编码"、"AI+视频增强"、"AI+数智创新"三大赛道展开角逐,产生多项创新成果。大赛设置200万元奖金,聚焦真实产业难题,吸引来自10余个国家5346名选手参与。鹏城实验室高文院士表示,大赛是培养AI领军人才的重要平台。五届大赛累计吸引近3万支团队,多项成果已转化为产业应用。华为、中国移动等企业为大赛提供技术支持,推动AI技术落地。获奖团队表示,大赛为青年科技人才提供了展示与交流的平台。

  • 卓世科技入选2025全国企业“人工智能+”行动创新案例TOP10

    AI赋能数字转型卓世科技以"智能体生态"重塑生产力边界2025年4月8日,《互联网周刊》联合eNet研究院、德本咨询正式公布"2025全国企业人工智能行动创新案例TOP100"榜单,卓世科技凭借"Agent开发平台与智能体数字员工"解决方案成功入选,高居榜单第七位。该案例以零代码编排、多智能体协作及私有化部署为核心突破,为北京集智未来人工智能产业创新基地构建了全场景数字化转型底座,成为AI技术落地实体经济的标杆范式。评审委员会评价称:"该案例不仅解决了当下效率痛点,更以生态化思维为AI技术的持续迭代提供了方法论。