整理 | 孫勝

生產(chǎn) | CSDN

近日， 開源了自動代碼調(diào)試工具的源代碼，現(xiàn)在可以通過源代碼獲取。

據(jù)了解，它可以幫助更多的開發(fā)者自主檢測代碼錯誤，主要是利用AI自動識別軟件和固件代碼中的錯誤，節(jié)省開發(fā)者手動調(diào)試的時間。

據(jù)悉，英特爾在去年底首次宣布，該系統(tǒng)目前僅供英特爾內(nèi)部人員使用，用于自動檢測軟件開發(fā)過程中的異常情況。

來自網(wǎng)絡

減少代碼調(diào)試時間和成本支出

因為代碼調(diào)試對于程序開發(fā)來說是必不可少的開源博客系統(tǒng)php 漂亮，所以幾乎所有的大型軟件都需要調(diào)試，以最大程度地避免軟件錯誤。

但是對于大多數(shù)開發(fā)者來說，這個過程不僅非常耗時，而且大部分調(diào)試只能手動完成。由于修復軟件缺陷可能需要數(shù)天、數(shù)周甚至數(shù)月的時間，因此估計多達 50% 的軟件開發(fā)時間浪費在調(diào)試程序上。這是因為大多數(shù)錯誤都需要語義分析來識別和評估根本原因，即使是最先進的調(diào)試系統(tǒng)也無法有效地進行這種分析。

英特爾實驗室首席人工智能科學家也表示：“雖然過去幾十年自動化調(diào)試的研究取得了一些進展，但現(xiàn)有的工具仍然無法完美地發(fā)現(xiàn)越來越復雜的軟件錯誤。這也是調(diào)試是仍然主要由人類完成駕駛過程的一個關鍵原因?！?/p>

此外，調(diào)試代碼的預算也很高。據(jù)英特爾官方介紹，2020年IT行業(yè)在調(diào)試代碼相關鏈接上的花費約2萬億美元，約占IT平均預算的一半。

《超能力》

據(jù)悉，該系統(tǒng)是英特爾機器編程研究（MPR）項目的一部分。該項目的總體目標是通過自動化將開發(fā)軟件所需的時間減少 1,000 倍。例如，團隊正在努力的領域之一是最終擴展以自動修復它檢測到的錯誤的能力。

自去年推出以來，英特爾已經(jīng)在各種軟件系統(tǒng)上對機器學習工具進行了測試，并取得了可喜的成績。英特爾實驗室首席人工智能科學家表示：“當我們最初設計該系統(tǒng)時，我們沒想到它會發(fā)現(xiàn)高度復雜的缺陷?！?“然而，鑒于其自我監(jiān)督的設計，它能夠發(fā)現(xiàn)高度復雜和微妙的軟件缺陷宿遷網(wǎng)站建設，甚至我們這些構(gòu)建它的人都感到震驚?！?/p>

英特爾團隊使用“無監(jiān)督”學習方法來檢測更廣泛的存儲庫中的錯誤。該系統(tǒng)從超過 10 億行未標記的源代碼中學習編碼模式，使其能夠達到很高的準確率，甚至可以適應開發(fā)人員的風格，以區(qū)分軟件異常和編程語言風格變化。

它適用于任何包含控制結(jié)構(gòu)的編程語言（如C/C++），并且可以從未標記的源代碼中不斷學習，并隨著新數(shù)據(jù)的引入“進化”使自己變得更好。雖然它不能自動解決它發(fā)現(xiàn)的代碼錯誤，但該工具可以為開發(fā)人員提供潛在的修改建議。

它還表示，到目前為止，它已經(jīng)發(fā)現(xiàn)了 300 多個生產(chǎn)質(zhì)量缺陷，并僅使用兩個專有軟件存儲庫部署了程序。例如，去年在一個名為 URL (cURL) 的計算機軟件項目中檢測到代碼異常，該項目使用各種網(wǎng)絡協(xié)議每天傳輸數(shù)據(jù)超過 10 億次。在向 cURL 團隊報告異常后宿遷網(wǎng)站建設，他們同意發(fā)現(xiàn)并重新設計代碼以解決問題。

進步

由于英特爾團隊致力于開發(fā)，過去的一年帶來了很多學習點。認為需要改進的兩個關鍵領域是減少工具報告的誤報數(shù)量以及將更高級的語義分析器集成到推理中。

但是開源博客系統(tǒng)php 漂亮，作為將成為英特爾機器編程工具套件之一的系統(tǒng)，它將繼續(xù)發(fā)展。“進展不太可能停止，”強調(diào)說?！斑@主要是因為隨著軟件編程語言、硬件描述語言和計算設備的發(fā)展，也需要發(fā)展跟上?！?/p>

與此同時，英特爾的 MPR 團隊正在致力于簡化軟件開發(fā)的項目。例如，去年該公司還發(fā)布了一款與麻省理工學院實驗室聯(lián)合開發(fā)的工具，可以通過研究代碼片段來了解該軟件打算做什么。該系統(tǒng)稱為（ Code ），它使用預先存在的代碼目錄來理解新算法背后的意圖，并通過建議其他編程方法或提供使代碼更高效的選項來幫助工程師開發(fā)軟件。

期待有一天能工作?！爱斦_的想法融合在一起時，我們設想了一個新的、更強大的系統(tǒng)，該系統(tǒng)將能夠檢測當前可檢測到的所有缺陷，以及目前由于潛在復雜性而無法檢測到的數(shù)百個缺陷?！?表達。