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

微软开发可高效揪除代码错误的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产业链成焦点,荆华密算联合英伟达、阿里等展示密态计算方案。文章指出AI产业市值超25万亿美元,但数据流通面临“不敢用”的信任缺口。荆华密算推出国内首个加密AI对话平台,通过六层技术架构实现数据全链路加密,确保算力层、模型层、应用层的数据在“可用不可见”基础上流动,打通AI从“能跑”到“敢用”的最后一公里。

  • 第四届链博会人工智能专区,格创东智全域智能体引领工业AI决策新时代

    第四届链博会首设人工智能专区,格创东智携“章鱼大脑”再度亮相。该工业智能决策中枢实现感知、分析、决策、执行全链闭环,协同覆盖设备、品质、厂务等领域的智能体集群,将异常处理缩至分钟级,降低品质损失超600万元,人力减少80%的同时提升产效。已打造300余个行业案例并向海外输出能力,首次启用AI数字人“小格”讲解,为工业AI从辅助工具演进为自主决策中台提供可复制样板。

  • 荣获2026福布斯中国人工智能科技企业TOP 50!讯飞AI眼镜以轻量智能终端链接世界

    7月10日,2026福布斯中国AI科技峰会暨TOP50颁奖在深圳举行。科大讯飞凭借讯飞AI眼镜入选榜单,创始人刘庆峰视频致辞,副总裁王玮分享“AI翻译+”战略。讯飞AI眼镜仅重40克,依托讯飞星火X2大模型,实现多模态同传翻译与高噪声环境精准降噪,落地国际展会、商务等场景。软硬协同让AI从技术展示走向日常可用,展现了中国AI从底座构建到全球化沟通基石的实力。

  • 从蒙牛到LABUBU,谁赢了“史上规模最大”世界杯营销?

    ​就在今天,39岁的梅西上演帽子戏法,以16球进球登顶世界杯射手榜第一,与德国克洛泽并列。 六登世界杯,归来依旧球王,大喜过望的除了(买体彩的)球迷、俱乐部老板,还有各大押注阿根廷队以及梅西的品牌。

  • 合同审不完?用工风险高?易法通推一站式法律解决方案

    引言 合同起草审核、用工制度规范、股权架构设计、欠款催收指导……企业经营过程中的法律事务繁杂且专业。如何高效、低成本地处理这些“里里外外”的法律问题,成为众多管理者亟待解决的难题。近期,专业企业在线法律顾问服务商易法通,对其服务产品体系进行了系统梳理,针对企业在不同发展阶段的高频法律需求,推出了覆盖用工、合同、股权、纠纷、知产及培训

  • 直击2026亚洲航空货运展|罗地格全链条智能货运解决方案重磅亮相

    当前全球航空货运市场持续升级,亚太地区凭贸易活力成为变革核心引擎。2026亚洲航空货运博览会汇聚超900家展商,罗地格工业携智能装备与系统亮相,现场展示AGV自动化搬运及Cargo Professional Suite等创新方案,体现行业从设备自动化迈向全流程智能协同的趋势。展会不仅是展示窗口,更搭建了高端商务平台,罗地格与东航物流、国泰货运等标杆企业及上海机场集团深度交流,聚焦数智化、绿色化与供应链协同,拓展全球合作共识,持续赋能亚太航空货运枢纽高质量发展。

  • 面向直播、语聊、社交、游戏场景,声网与网易智企-易盾共建内容审核解决方案

    随着直播、语聊、社交、游戏等实时互动场景火热,内容安全已成平台稳定运营的基础。声网与网易智企-易盾联合推出面向实时互动场景的内容审核方案,围绕接入便捷、成本优化和治理闭环三大方向。方案通过控制台一键开通易盾能力,复用现有音视频链路,降低集成门槛与成本;审核结果实时回调业务系统,联动告警、禁言、封禁等处置,形成高效治理闭环,帮助平台在兼顾用户体验的同时,提升内容安全能力与合规效率。

  • 年触达1.5亿高端游戏玩家,顺网科技携手支付宝推出云电竞解决方案

    7月8日,2026支付宝碰一下生态大会上,支付宝宣布 “碰一下”完成 AI 升级,自“碰一下”服务上线以来,已有4亿用户、2300余家生态服务商、超3000万线下AI触点,覆盖餐饮、商超、景区、酒店等多种业态,为不同行业创造了新的经营机遇。会上,顺网科技展示了其与支付宝“碰一下”联合打造的云电竞解决方案,为电竞行业带来了轻资产、无人值守的全新经营模式。为解决传�

  • 海尔智慧家庭建博会发布全场景AI解决方案

    第28届中国广州建博会启幕,海尔智慧家庭以“冠军企业首秀平台”身份亮相,首创“室内空间、门窗户外、材艺智造”三大生态。核心体验区展示了行业最高L4级智能家电及其全场景方案:搭载AI之眼2.0的Seeker套系能让冰箱识物保鲜、烟机看懂火候等,从被动响应变主动服务;HomeClaw作为技术底座,实现空间智能理解与场景编排。现场还展示了“人-车-家-社区”开放生态,提供车家互联等无缝体验。目前海尔已获行业首个L4智慧家电认证,全球注册用户超1.3亿,实现AI时代智慧家庭体验新定义。

  • 鸿蒙NEXT适配五大典型风险,Testin 云测全链路质量解决方案

    HarmonyOS NEXT商用加速,企业适配成必答题。核心痛点有五:真机碎片化致偶发故障、传统测试存在用例盲区、复杂场景易发性能瓶颈、自动化工具不适配原生控件、专业测试人才短缺陷入“人力踩踏”。Testin云测推出一体化方案,通过全系真机资源、200+鸿蒙专家、自研AI自动化工具及全生命周期定制服务,补齐全栈短板,助企业低成本高效打磨应用,抢占鸿蒙生态红利。

今日大家都在搜的词: