IT之家12月16日消息 英特爾本月推出了機(jī)器編程研究系統(tǒng) ControlFlag,可以自主檢測代碼中的錯誤,目前仍處于早期階段。
在初步測試中,ControlFlag 利用超過 10 億行未標(biāo)記的產(chǎn)品級別的代碼進(jìn)行了訓(xùn)練并學(xué)習(xí)了新的缺陷。
英特爾首席科學(xué)家 Justin Gottschlich 表示:“ControlFlag 是一個(gè)強(qiáng)大的新工具,可以大幅減少評估和 Debug 代碼所需的時(shí)間和成本?!?/p>
英特爾表示,在IT行業(yè)每年花費(fèi)的 1.25 萬億美元軟件開發(fā)成本中,大約有 50% 是用于 Debug 代碼。
據(jù)悉,ControlFlag 檢測 Bug 的功能是通過機(jī)器編程實(shí)現(xiàn)的,其中融合了機(jī)器學(xué)習(xí)、形式化方法、編程語言、編譯器和計(jì)算機(jī)系統(tǒng)。
IT之家了解到,英特爾甚至已經(jīng)開始評估在內(nèi)部使用 ControlFlag,在自己的軟件和固件產(chǎn)品化中尋找 Bug。這是英特爾 Rapid Analysis for Developers 項(xiàng)目的關(guān)鍵組成部分。
廣告聲明:文內(nèi)含有的對外跳轉(zhuǎn)鏈接(包括不限于超鏈接、二維碼、口令等形式),用于傳遞更多信息,節(jié)省甄選時(shí)間,結(jié)果僅供參考,IT之家所有文章均包含本聲明。