《電子技術應用》
您所在的位置:首頁 > 通信與網絡 > 業界動態 > AI幫忙找Bug,英特爾開源代碼編程工具ControlFlag

AI幫忙找Bug,英特爾開源代碼編程工具ControlFlag

2021-10-26
來源:CSDN

  減少代碼調試時間與成本支出

  由于代碼調試對于程序開發至關重要,幾乎所有的大型軟件都需要調試,才能最大程度上避免軟件出錯。

  但是對于絕大多數開發人員來說,這個過程不僅非常耗時,而且大部分調試只能手工作業。因為修復一個軟件缺陷可能需要幾天、幾周甚至幾個月的時間,據估計,多達 50% 的軟件開發時間浪費在調試程序上。這是因為大多數錯誤都需要語義分析來識別、評估根本原因,即使是最先進的調試系統也無法有效地執行這種分析。

  英特爾實驗室首席人工智能科學家 Justin Gottschlich 也表示:“盡管在過去的幾十年里,研究自動化調試方面取得了部分進展,但現有工具仍無法完美發現日益復雜的軟件錯誤。這也是調試仍然主要由人為驅動的過程的一個關鍵原因。”

  除此之外,調試代碼的預算支出也很高。據英特爾官方介紹,2020 年 IT 行業在與調試代碼相關的環節上大約花費了 2 萬億美元,約占 IT 平均預算的一半。

  “超能的” ControlFlag

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

  自去年推出以來,英特爾已在各種軟件系統上測試了該機器學習工具,并取得了可喜的成果。“當我們最初設計系統時,我們沒有預料到它能夠發現高度復雜的缺陷,”英特爾實驗室首席人工智能科學家 Justin Gottschlich 表示。“然而,鑒于其自我監督的設計,ControlFlag 能夠發現高度復雜、細微的軟件缺陷,甚至連我們這些構建它的人都感到震驚。”

  英特爾的團隊通過使用一種“無監督”的學習方法,以允許 ControlFlag 檢測更廣泛的存儲庫中的錯誤。該系統從超過 10 億行未標記的源代碼中學習編碼模式,使其能夠達到很高的準確性,甚至可以適應開發人員的風格,以區分軟件異常和編程語言的風格變化。

  ControlFlag 適用于任何包含控制結構的編程語言(如 C/C++),而且ControlFlag 能夠不斷地從未標記的源代碼中學習,隨著新數據的引入而 “進化”,使自己變得更好。雖然它還不能自動解決它所發現的代碼錯誤,但該工具可以為開發人員提供了潛在的修改建議。

  Justin Gottschlich 還表示,目前為止僅在兩個專有軟件存儲庫上使用 ControlFlag,就發現了生產質量、已部署程序中的 300 多個缺陷。例如,去年 ControlFlag 在名為 Client URL (cURL) 的計算機軟件項目中檢測到代碼異常,該項目每天使用各種網絡協議傳輸數據超過 10 億次。在向 cURL 團隊報告異常后,他們同意 ControlFlag 的發現并重新設計代碼以修補問題。

  不斷進步的 ControlFlag

  隨著英特爾團隊致力于開發 ControlFlag,過去的一年也帶來了相當多的學習點。Gottschlich 認為,需要改進的兩個關鍵領域是減少該工具報告的誤報數量,以及將更先進的語義分析器集成到 ControlFlag 的推理中。

  然而,作為一個將成為英特爾機器編程工具套件之一的系統,ControlFlag 將繼續發展。“ControlFlag 的進步不太可能停止,”Gottschlich 強調。“這主要是因為隨著軟件編程語言、硬件描述語言和計算設備的發展,ControlFlag 也需要發展以跟上它們的步伐。”

  與此同時,英特爾的 MPR 團隊正在開展一些專注于簡化軟件開發的項目。例如,去年該公司還發布了一款與麻省理工學院實驗室共同開發的工具,該工具可以研究代碼片段以了解軟件打算做什么。該系統稱為 MISIM(機器推斷代碼相似性),它使用預先存在的代碼目錄來理解新算法背后的意圖,并通過建議其他編程方法或提供使代碼更高效的選項來幫助工程師開發軟件。

  Gottschlich 預計 MISIM 有一天會與 ControlFlag 一起工作。“當正確想法融合在一起時,我們設想了一個更強大的新系統,該系統將能夠檢測 ControlFlag 目前可以檢測到的所有缺陷,以及由于潛在的復雜性而目前無法檢測到的數百種缺陷。”Gottschlich表示。




本站內容除特別聲明的原創文章之外,轉載內容只為傳遞更多信息,并不代表本網站贊同其觀點。轉載的所有的文章、圖片、音/視頻文件等資料的版權歸版權所有權人所有。本站采用的非本站原創文章及圖片等內容無法一一聯系確認版權者。如涉及作品內容、版權和其它問題,請及時通過電子郵件或電話通知我們,以便迅速采取適當措施,避免給雙方造成不必要的經濟損失。聯系電話:010-82306118;郵箱:aet@chinaaet.com。
主站蜘蛛池模板: 免费乱理伦片泡泡影院琪琪 | 欧美亚洲综合视频 | 亚洲免费资源 | 天堂在线最新资源 | 国产精品久久精品视 | 自拍 亚洲 欧美 另类 动漫 | 亚洲国产亚洲片在线观看播放 | 日韩中文在线视频 | 我要看黄色毛片 | 性欧美巨大极品videos | 国产亚洲欧美日韩在线一区 | 日本大片成人免费网址 | 成人无遮挡毛片免费看 | 手机看片高清国产日韩片 | 日本波多野结衣在线 | 亚洲一区二区三区四区在线 | 好吊色青青青国产在线播放 | 最新日本免费一区二区三区中文 | 一及黄色片 | 成人抖音短视频 | 国产成人精品视频一区 | 一级a毛片免费观看 | 狠狠狠狠狠狠狠 | 我要看黄色特级黄色录像 | 伊人热 | 国产精品成人观看视频国产 | 久久亚洲人成网站 | 羞羞视频免费网站欧美 | 日韩在线观看一区二区三区 | 你懂得在线观看 | 涩涩免费视频 | 欧美日韩在线观看免费 | 亚洲日本一区二区三区在线不卡 | 一个人看的www免费观看视频 | 亚洲丝袜第一页 | 日本人xxxxxxxxx99 | 一级做a爱过程免费观看 | 91最新免费地址入口 | 男女日批视频在线观看 | 另类黄色 | 久久国产精品亚洲一区二区 |