設(shè)置
  • 日夜間
    隨系統(tǒng)
    淺色
    深色
  • 主題色

英特爾推出機(jī)器編程工具,可自主檢測代碼中的 Bug

2020/12/16 10:29:11 來源:IT之家 作者:懶貓 責(zé)編:懶貓

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之家所有文章均包含本聲明。

相關(guān)文章

關(guān)鍵詞:英特爾,編程
  • 日榜
  • 周榜
  • 月榜

軟媒旗下網(wǎng)站: IT之家 最會買 - 返利返現(xiàn)優(yōu)惠券 iPhone之家 Win7之家 Win10之家 Win11之家

軟媒旗下軟件: 軟媒手機(jī)APP應(yīng)用 魔方 最會買 要知