www.久久久久|狼友网站av天堂|精品国产无码a片|一级av色欲av|91在线播放视频|亚洲无码主播在线|国产精品草久在线|明星AV网站在线|污污内射久久一区|婷婷综合视频网站

當前位置：首頁 > 公眾號精選 > AI科技大本營

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

時間：2021-10-27 13:49:44
關鍵字： AI    編程工具    英特爾   
手機看文章

掃描二維碼
隨時隨地手機看文章

[導讀]整理|孫勝出品|CSDN近日，英特爾開源了自動代碼調試工具ControlFlag源代碼，ControlFlag源碼現(xiàn)在可通過GitHub獲得。據(jù)了解，ControlFlag可用來幫助更多開發(fā)者自主檢測代碼錯誤，主要利用AI自動識別軟件和固件代碼中的錯誤，為開發(fā)人員節(jié)省手動調試時間...

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


整理 | 孫勝


出品 | CSDN


近日，英特爾開源了自動代碼調試工具 ControlFlag 源代碼，ControlFlag 源碼現(xiàn)在可通過 GitHub 獲得。


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


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


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


來源于網(wǎng)絡



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


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



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


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


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


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



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


“超能的” ControlFlag



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


自去年推出以來，英特爾已在各種軟件系統(tǒng)上測試了該機器學習工具，并取得了可喜的成果?！爱斘覀冏畛踉O計系統(tǒng)時，我們沒有預料到它能夠發(fā)現(xiàn)高度復雜的缺陷，”英特爾實驗室首席人工智能科學家 Justin Gottschlich 表示?！叭欢b于其自我監(jiān)督的設計，ControlFlag 能夠發(fā)現(xiàn)高度復雜、細微的軟件缺陷，甚至連我們這些構建它的人都感到震驚?！?/span>


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


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


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



AI?幫忙找?Bug?，英特爾開源代碼編程工具?ControlFlag不斷進步的 ControlFlag



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


然而，作為一個將成為英特爾機器編程工具套件之一的系統(tǒng)，ControlFlag 將繼續(xù)發(fā)展?！癈ontrolFlag 的進步不太可能停止，”Gottschlich 強調?！斑@主要是因為隨著軟件編程語言、硬件描述語言和計算設備的發(fā)展，ControlFlag 也需要發(fā)展以跟上它們的步伐?！?/span>


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


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


對此，你怎么看，歡迎留言評論。


參考鏈接：


https://www.zdnet.com/article/developers-intels-automated-debugging-tool-controlflag-is-now-open-source/


GitHub地址：


https://github.com/IntelLabs/control-flag


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



本站聲明： 本文章由作者或相關機構授權發(fā)布，目的在于傳遞更多信息，并不代表本站贊同其觀點，本站亦不保證或承諾內容真實性等。需要轉載請聯(lián)系該專欄作者，如若文章內容侵犯您的權益，請及時聯(lián)系本站刪除。
換一批
延伸閱讀

9月2日消息，不造車的華為或將催生出更大的獨角獸公司，隨著阿維塔和賽力斯的入局，華為引望愈發(fā)顯得引人矚目。

關鍵字： 阿維塔 塞力斯 華為

加利福尼亞州圣克拉拉縣2024年8月30日 /美通社/ -- 數(shù)字化轉型技術解決方案公司Trianz今天宣布，該公司與Amazon Web Services （AWS）簽訂了...

關鍵字： AWS AN BSP 數(shù)字化

倫敦2024年8月29日 /美通社/ -- 英國汽車技術公司SODA.Auto推出其旗艦產(chǎn)品SODA V，這是全球首款涵蓋汽車工程師從創(chuàng)意到認證的所有需求的工具，可用于創(chuàng)建軟件定義汽車。 SODA V工具的開發(fā)耗時1.5...

關鍵字： 汽車 人工智能 智能驅動 BSP

北京2024年8月28日 /美通社/ -- 越來越多用戶希望企業(yè)業(yè)務能7×24不間斷運行，同時企業(yè)卻面臨越來越多業(yè)務中斷的風險，如企業(yè)系統(tǒng)復雜性的增加，頻繁的功能更新和發(fā)布等。如何確保業(yè)務連續(xù)性，提升韌性，成...

關鍵字： 亞馬遜 解密 控制平面 BSP

8月30日消息，據(jù)媒體報道，騰訊和網(wǎng)易近期正在縮減他們對日本游戲市場的投資。

關鍵字： 騰訊 編碼器 CPU

8月28日消息，今天上午，2024中國國際大數(shù)據(jù)產(chǎn)業(yè)博覽會開幕式在貴陽舉行，華為董事、質量流程IT總裁陶景文發(fā)表了演講。

關鍵字： 華為 12nm EDA 半導體

8月28日消息，在2024中國國際大數(shù)據(jù)產(chǎn)業(yè)博覽會上，華為常務董事、華為云CEO張平安發(fā)表演講稱，數(shù)字世界的話語權最終是由生態(tài)的繁榮決定的。

關鍵字： 華為 12nm 手機 衛(wèi)星通信

要點： 有效應對環(huán)境變化，經(jīng)營業(yè)績穩(wěn)中有升 落實提質增效舉措，毛利潤率延續(xù)升勢 戰(zhàn)略布局成效顯著，戰(zhàn)新業(yè)務引領增長 以科技創(chuàng)新為引領，提升企業(yè)核心競爭力 堅持高質量發(fā)展策略，塑強核心競爭優(yōu)勢...

關鍵字： 通信 BSP 電信運營商 數(shù)字經(jīng)濟

北京2024年8月27日 /美通社/ -- 8月21日，由中央廣播電視總臺與中國電影電視技術學會聯(lián)合牽頭組建的NVI技術創(chuàng)新聯(lián)盟在BIRTV2024超高清全產(chǎn)業(yè)鏈發(fā)展研討會上宣布正式成立。 活動現(xiàn)場 NVI技術創(chuàng)新聯(lián)...

關鍵字： VI 傳輸協(xié)議 音頻 BSP

北京2024年8月27日 /美通社/ -- 在8月23日舉辦的2024年長三角生態(tài)綠色一體化發(fā)展示范區(qū)聯(lián)合招商會上，軟通動力信息技術（集團）股份有限公司（以下簡稱"軟通動力"）與長三角投資（上海）有限...

關鍵字： BSP 信息技術
關閉
關閉