《電子技術應用》
您所在的位置:首頁 > 通信與網絡 > 業界動態 > 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。
主站蜘蛛池模板: 国产一在线精品一区在线观看 | 午夜日韩精品 | 欲漫涩漫画禁漫成人入口 | 中文字幕日韩三级 | 国产精品亚洲一区二区在线观看 | 国产视频大全 | 国产欧美乱码在线看 | 色综合久久久久久久久五月 | 欧美第二页 | 五月激情综合网 | 九九久久亚洲综合久久久 | 皮皮在线精品亚洲 | 伊人网在线视频 | 爱啪啪网站 | 在线观看 中文字幕 | 久草视频精品在线 | 成人免费短视频 | 手机在线日韩高清理论片 | 国产免费拔擦拔擦8x在线 | 成人免费视频网站www | 夜夜操狠狠操 | 免费a网址 | 美女很黄很黄免费的 | 久久久亚洲国产精品主播 | 国产成人精品区在线观看 | 国产99精品视频 | 成人抖音短视频 | 性xxxx18免费观看视频 | 影音先锋国产系列精品 | 小黄视频免费观看 | 在线播放一区二区三区 | 亚洲欧美日韩在线不卡中文 | 成人影片播放 | 久久亚洲精品视频 | 国产成人综合网亚洲欧美在线 | 日日噜噜夜夜狠狠视频欧美人 | 亚洲综合激情六月婷婷在线观看 | 夜夜爱成人免费网站 | 波多野结衣中文一区 | 国产制服丝袜在线 | 欧美高清在线视频在线99精品 |