英特爾本月推出了機(jī)器編程研究系統(tǒng) ControlFlag，可以自主檢測(cè)代碼中的錯(cuò)誤，目前仍處于早期階段。

在初步測(cè)試中，ControlFlag 利用超過 10 億行未標(biāo)記的產(chǎn)品級(jí)別的代碼進(jìn)行了訓(xùn)練并學(xué)習(xí)了新的缺陷。

英特爾首席科學(xué)家 Justin Gottschlich 表示：“ControlFlag 是一個(gè)強(qiáng)大的新工具，可以大幅減少評(píng)估和 Debug 代碼所需的時(shí)間和成本。”

英特爾表示，在IT行業(yè)每年花費(fèi)的 1.25 萬億美元軟件開發(fā)成本中，大約有 50% 是用于 Debug 代碼。

據(jù)悉，ControlFlag 檢測(cè) Bug 的功能是通過機(jī)器編程實(shí)現(xiàn)的，其中融合了機(jī)器學(xué)習(xí)、形式化方法、編程語言、編譯器和計(jì)算機(jī)系統(tǒng)。

IT之家了解到，英特爾甚至已經(jīng)開始評(píng)估在內(nèi)部使用 ControlFlag，在自己的軟件和固件產(chǎn)品化中尋找 Bug。這是英特爾 Rapid Analysis for Developers 項(xiàng)目的關(guān)鍵組成部分。

關(guān)鍵詞：