英特尔公布全新呆板编程体系 呆板完成代码推荐、自动修复Bug或将成真

2020-07-31 17:18:45

食品机械设备 https://www.wzcn.cn/

  近日,英特尔公布与麻省理工学院、佐治亚理工学院配合研发的全新呆板编程体系。该体系称为呆板推理代码相似度体系(MISIM),是一款检测软件意图的自动化引擎,通过辨认代码结构、分析与其它功效相似代码的句法差异实现。

  英特尔呆板编程研究院首创人、首席科学家及总监Justin Gottschlich 表示:“英特尔呆板编程的终极目标是让每小我私人都能创建软件。当这一目标完全实现时,每小我私人都可以通过自己最善于的方式,如代码、自然语言或其他方式向呆板表达自己的设计意图,从而创建软件。这是一个大胆的目标,需要支付许多积极,MISIM是我们迈出的坚实一步。”

  随着异构计算崛起,硬件、软件体系变得越来越庞大,以及跨架构专业编程职员的稀缺,导致业界对新开发要领的需求愈加凸显。“呆板编程”一词在英特尔研究院和麻省理工学院联合公布的《呆板编程的三大支柱》论文中初次提出,旨在通过自动化工具提升开发效率。在多种新兴呆板编程工具中,代码相似度是一项要害技能,它具备精准、高效实现软件开发流程自动化的潜力,从而满足跨架构编程需求。

  然而,建立精准的代码相似度体系自己是一个较为棘手的问题。这些体系需要辨认两个代码段是否具有相似特性、是否需要实现相似目标。在只提供源代码的情况下,这是非常难以实现的。但英特尔与麻省理工学院及佐治亚理工学院联合开发的MISIM可以精准辨认两段代码是否运行相似的计算历程,纵然这两段代码使用差别的数据结构和算法。正如Gottschlich所论述的,“这是实现呆板编程巨大愿景的紧张一步。”

  MISIM与现有代码相似度体系最要害的差别点在于,它拥有创新的上下文感知语义结构(CASS),可以提取出代码真正的用途。与其它现有要领差别的是,CASS可以设置到特定上下文情况,在更高条理抓取描述代码的信息。因此,CASS可以提供更精准的洞察如“代码能实现什么”,而不是“如何实现”的问题。别的,MISIM无需使用编译器(将人类可读源代码转换为计算机可执行呆板代码的程序)即可完成全部这些事情。以是与现有体系相比,MISIM就有了更多上风,包括可以或许在开发职员尚在编写的不完备代码段上执行,对于推荐体系和自动bug修复等应用情景来说,具有紧张现实意义。

  一旦代码结构整合到CASS以后,根据设计目标,多个神经网络体系会对代码段给出相似度评分。换言之,如果两段代码结构看起来很不一样,但执行的都是同一个功效,这些神经网络体系将给出“高度相似”的评分。

  通过将这些原则整合到同一体系中,英特尔、麻省理工学院和佐治亚理工学院的研究员发明,MISIM辨认相似代码段的准确度是此前开始进体系的40倍。

  英特尔将继续拓展MISIM的功效,目前已经从研究阶段进入演示阶段,目标是打造一款代码推荐引擎,协助软件开发职员在英特尔多种异构架构上举行编程开发。此类体系可以辨认开发职员简朴算法输入背后的意图,并推荐语义相近但性能更好的候选代码。

  英特尔呆板编程研究院同时也与英特尔软件部门举行互助,研究如何将MISIM整合到一样平常开发事情当中。Gottschlich同时也兼任宾夕法尼亚大学兼职助理教授,他希望帮助软件部门以及整个英特尔公司提升生产效率,并消除编程中修复bug等单调的事情。Gottschlich表示:“如果呆板能做到自动查抄和修复bug,我想大多数开发职员一定非常乐意让它来负担这项事情,至少我会。”

(文章来源:北国网)

上一篇:

下一篇:

Copyright© 2015-2020 汶上百事通版权所有