英特爾推出機器編程研究系統 可以自主檢測代碼中的錯誤

英特爾本月推出了機器編程研究系統 ControlFlag，可以自主檢測代碼中的錯誤，目前仍處于早期階段。

在初步測試中，ControlFlag 利用超過 10 億行未標記的產品級別的代碼進行了訓練并學習了新的缺陷。

英特爾首席科學家 Justin Gottschlich 表示：“ControlFlag 是一個強大的新工具，可以大幅減少評估和 Debug 代碼所需的時間和成本。”

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

據悉，ControlFlag 檢測 Bug 的功能是通過機器編程實現的，其中融合了機器學習、形式化方法、編程語言、編譯器和計算機系統。

IT之家了解到，英特爾甚至已經開始評估在內部使用 ControlFlag，在自己的軟件和固件產品化中尋找 Bug。這是英特爾 Rapid Analysis for Developers 項目的關鍵組成部分。

關鍵詞：