微软新开发 BugLabs 人工智能：专门用于发现代码中的错误

导读	微软研究院首席研究员 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 也将很快迎来商业化应用。

本文来自《Linux就该这么学》官方资讯站。