[導(dǎo)讀]整理|孫勝出品|CSDN近日，英特爾開源了自動代碼調(diào)試工具ControlFlag源代碼，ControlFlag源碼現(xiàn)在可通過GitHub獲得。據(jù)了解，ControlFlag可用來幫助更多開發(fā)者自主檢測代碼錯誤，主要利用AI自動識別軟件和固件代碼中的錯誤，為開發(fā)人員節(jié)省手動調(diào)試時間...
整理 | 孫勝
出品 | CSDN
近日，英特爾開源了自動代碼調(diào)試工具 ControlFlag 源代碼，ControlFlag 源碼現(xiàn)在可通過 GitHub 獲得。
據(jù)了解，ControlFlag 可用來幫助更多開發(fā)者自主檢測代碼錯誤，主要利用 AI 自動識別軟件和固件代碼中的錯誤，為開發(fā)人員節(jié)省手動調(diào)試時間。
據(jù)悉，英特爾于去年年底首次宣布 ControlFlag，目前該系統(tǒng)只有英特爾內(nèi)部人員使用，用來自動檢測軟件開發(fā)過程中的異常情況。
來源于網(wǎng)絡(luò)
減少代碼調(diào)試時間與成本支出
由于代碼調(diào)試對于程序開發(fā)至關(guān)重要，幾乎所有的大型軟件都需要調(diào)試，才能最大程度上避免軟件出錯。
但是對于絕大多數(shù)開發(fā)人員來說，這個過程不僅非常耗時，而且大部分調(diào)試只能手工作業(yè)。因為修復(fù)一個軟件缺陷可能需要幾天、幾周甚至幾個月的時間，據(jù)估計，多達 50% 的軟件開發(fā)時間浪費在調(diào)試程序上。這是因為大多數(shù)錯誤都需要語義分析來識別、評估根本原因，即使是最先進的調(diào)試系統(tǒng)也無法有效地執(zhí)行這種分析。
英特爾實驗室首席人工智能科學(xué)家 Justin Gottschlich 也表示：“盡管在過去的幾十年里，研究自動化調(diào)試方面取得了部分進展，但現(xiàn)有工具仍無法完美發(fā)現(xiàn)日益復(fù)雜的軟件錯誤。這也是調(diào)試仍然主要由人為驅(qū)動的過程的一個關(guān)鍵原因?！?/span>
除此之外，調(diào)試代碼的預(yù)算支出也很高。據(jù)英特爾官方介紹，2020 年 IT 行業(yè)在與調(diào)試代碼相關(guān)的環(huán)節(jié)上大約花費了 2 萬億美元，約占 IT 平均預(yù)算的一半。
“超能的” ControlFlag
據(jù)悉，該系統(tǒng)是英特爾機器編程研究 (MPR) 項目的一部分，該項目的總體目標(biāo)是通過自動化有望將開發(fā)軟件所需的時間減少 1,000 倍。例如，Gottschlich 的團隊正在研究的領(lǐng)域之一是最終擴展 ControlFlag 的能力，以自動修復(fù)它檢測到的錯誤。
自去年推出以來，英特爾已在各種軟件系統(tǒng)上測試了該機器學(xué)習(xí)工具，并取得了可喜的成果。“當(dāng)我們最初設(shè)計系統(tǒng)時，我們沒有預(yù)料到它能夠發(fā)現(xiàn)高度復(fù)雜的缺陷，”英特爾實驗室首席人工智能科學(xué)家 Justin Gottschlich 表示?！叭欢?，鑒于其自我監(jiān)督的設(shè)計，ControlFlag 能夠發(fā)現(xiàn)高度復(fù)雜、細微的軟件缺陷，甚至連我們這些構(gòu)建它的人都感到震驚。”
英特爾的團隊通過使用一種“無監(jiān)督”的學(xué)習(xí)方法，以允許 ControlFlag 檢測更廣泛的存儲庫中的錯誤。該系統(tǒng)從超過 10 億行未標(biāo)記的源代碼中學(xué)習(xí)編碼模式，使其能夠達到很高的準(zhǔn)確性，甚至可以適應(yīng)開發(fā)人員的風(fēng)格，以區(qū)分軟件異常和編程語言的風(fēng)格變化。
ControlFlag 適用于任何包含控制結(jié)構(gòu)的編程語言（如 C/C ），而且ControlFlag 能夠不斷地從未標(biāo)記的源代碼中學(xué)習(xí)，隨著新數(shù)據(jù)的引入而 “進化”，使自己變得更好。雖然它還不能自動解決它所發(fā)現(xiàn)的代碼錯誤，但該工具可以為開發(fā)人員提供了潛在的修改建議。
Justin Gottschlich 還表示，目前為止僅在兩個專有軟件存儲庫上使用 ControlFlag，就發(fā)現(xiàn)了生產(chǎn)質(zhì)量、已部署程序中的 300 多個缺陷。例如，去年 ControlFlag 在名為 Client URL (cURL) 的計算機軟件項目中檢測到代碼異常，該項目每天使用各種網(wǎng)絡(luò)協(xié)議傳輸數(shù)據(jù)超過 10 億次。在向 cURL 團隊報告異常后，他們同意 ControlFlag 的發(fā)現(xiàn)并重新設(shè)計代碼以修補問題。
不斷進步的 ControlFlag
隨著英特爾團隊致力于開發(fā) ControlFlag，過去的一年也帶來了相當(dāng)多的學(xué)習(xí)點。Gottschlich 認(rèn)為，需要改進的兩個關(guān)鍵領(lǐng)域是減少該工具報告的誤報數(shù)量，以及將更先進的語義分析器集成到 ControlFlag 的推理中。
然而，作為一個將成為英特爾機器編程工具套件之一的系統(tǒng)，ControlFlag 將繼續(xù)發(fā)展?！癈ontrolFlag 的進步不太可能停止，”Gottschlich 強調(diào)。“這主要是因為隨著軟件編程語言、硬件描述語言和計算設(shè)備的發(fā)展，ControlFlag 也需要發(fā)展以跟上它們的步伐?！?/span>
與此同時，英特爾的 MPR 團隊正在開展一些專注于簡化軟件開發(fā)的項目。例如，去年該公司還發(fā)布了一款與麻省理工學(xué)院實驗室共同開發(fā)的工具，該工具可以研究代碼片段以了解軟件打算做什么。該系統(tǒng)稱為 MISIM（機器推斷代碼相似性），它使用預(yù)先存在的代碼目錄來理解新算法背后的意圖，并通過建議其他編程方法或提供使代碼更高效的選項來幫助工程師開發(fā)軟件。
Gottschlich 預(yù)計 MISIM 有一天會與 ControlFlag 一起工作。“當(dāng)正確想法融合在一起時，我們設(shè)想了一個更強大的新系統(tǒng)，該系統(tǒng)將能夠檢測 ControlFlag 目前可以檢測到的所有缺陷，以及由于潛在的復(fù)雜性而目前無法檢測到的數(shù)百種缺陷。”Gottschlich表示。
對此，你怎么看，歡迎留言評論。
參考鏈接：
https://www.zdnet.com/article/developers-intels-automated-debugging-tool-controlflag-is-now-open-source/
GitHub地址：
https://github.com/IntelLabs/control-flag
本站聲明： 本文章由作者或相關(guān)機構(gòu)授權(quán)發(fā)布，目的在于傳遞更多信息，并不代表本站贊同其觀點，本站亦不保證或承諾內(nèi)容真實性等。需要轉(zhuǎn)載請聯(lián)系該專欄作者，如若文章內(nèi)容侵犯您的權(quán)益，請及時聯(lián)系本站刪除。
LED驅(qū)動電源的輸入包括高壓工頻交流(即市電)、低壓直流、高壓直流、低壓高頻交流(如電子變壓器的輸出)等。
關(guān)鍵字：
驅(qū)動電源
在工業(yè)自動化蓬勃發(fā)展的當(dāng)下，工業(yè)電機作為核心動力設(shè)備，其驅(qū)動電源的性能直接關(guān)系到整個系統(tǒng)的穩(wěn)定性和可靠性。其中，反電動勢抑制與過流保護是驅(qū)動電源設(shè)計中至關(guān)重要的兩個環(huán)節(jié)，集成化方案的設(shè)計成為提升電機驅(qū)動性能的關(guān)鍵。
關(guān)鍵字：
工業(yè)電機
驅(qū)動電源
LED 驅(qū)動電源作為 LED 照明系統(tǒng)的 “心臟”，其穩(wěn)定性直接決定了整個照明設(shè)備的使用壽命。然而，在實際應(yīng)用中，LED 驅(qū)動電源易損壞的問題卻十分常見，不僅增加了維護成本，還影響了用戶體驗。要解決這一問題，需從設(shè)計、生...
關(guān)鍵字：
驅(qū)動電源
照明系統(tǒng)
散熱
根據(jù)LED驅(qū)動電源的公式，電感內(nèi)電流波動大小和電感值成反比，輸出紋波和輸出電容值成反比。所以加大電感值和輸出電容值可以減小紋波。
關(guān)鍵字：
LED
設(shè)計
驅(qū)動電源
電動汽車(EV)作為新能源汽車的重要代表，正逐漸成為全球汽車產(chǎn)業(yè)的重要發(fā)展方向。電動汽車的核心技術(shù)之一是電機驅(qū)動控制系統(tǒng)，而絕緣柵雙極型晶體管(IGBT)作為電機驅(qū)動系統(tǒng)中的關(guān)鍵元件，其性能直接影響到電動汽車的動力性能和...
關(guān)鍵字：
電動汽車
新能源
驅(qū)動電源
在現(xiàn)代城市建設(shè)中，街道及停車場照明作為基礎(chǔ)設(shè)施的重要組成部分，其質(zhì)量和效率直接關(guān)系到城市的公共安全、居民生活質(zhì)量和能源利用效率。隨著科技的進步，高亮度白光發(fā)光二極管(LED)因其獨特的優(yōu)勢逐漸取代傳統(tǒng)光源，成為大功率區(qū)域...
關(guān)鍵字：
發(fā)光二極管
驅(qū)動電源
LED
在LED照明技術(shù)日益普及的今天，LED驅(qū)動電源的電磁干擾(EMI)問題成為了一個不可忽視的挑戰(zhàn)。電磁干擾不僅會影響LED燈具的正常工作，還可能對周圍電子設(shè)備造成不利影響，甚至引發(fā)系統(tǒng)故障。因此，采取有效的硬件措施來解決L...
關(guān)鍵字：
LED照明技術(shù)
電磁干擾
驅(qū)動電源
開關(guān)電源具有效率高的特性,而且開關(guān)電源的變壓器體積比串聯(lián)穩(wěn)壓型電源的要小得多,電源電路比較整潔,整機重量也有所下降,所以,現(xiàn)在的LED驅(qū)動電源
關(guān)鍵字：
LED
驅(qū)動電源
開關(guān)電源
LED驅(qū)動電源是把電源供應(yīng)轉(zhuǎn)換為特定的電壓電流以驅(qū)動LED發(fā)光的電壓轉(zhuǎn)換器，通常情況下：LED驅(qū)動電源的輸入包括高壓工頻交流(即市電)、低壓直流、高壓直流、低壓高頻交流(如電子變壓器的輸出)等。
關(guān)鍵字：
LED
隧道燈
驅(qū)動電源
LED驅(qū)動電源在LED照明系統(tǒng)中扮演著至關(guān)重要的角色。由于LED具有節(jié)能、環(huán)保、長壽命等優(yōu)點，使得LED照明在各個領(lǐng)域得到廣泛應(yīng)用。然而，LED的電流、電壓特性需要特定的驅(qū)動電源才能正常工作。本文將介紹常用的LED驅(qū)動電...
關(guān)鍵字：
LED驅(qū)動電源
led照明
LED驅(qū)動電源是把電源供應(yīng)轉(zhuǎn)換為特定的電壓電流以驅(qū)動LED發(fā)光的電源轉(zhuǎn)換器，通常情況下：LED驅(qū)動電源的輸入包括高壓工頻交流(即市電)、低壓直流、高壓直流、低壓高頻交流(如電子變壓器的輸出)等。
關(guān)鍵字：
LED
驅(qū)動電源
高壓工頻交流
崧盛股份9日發(fā)布投資者關(guān)系活動記錄表，就植物照明發(fā)展趨勢、行業(yè)壁壘等問題進行分享。植物照明未來市場需求廣闊崧盛股份指出，植物照明將會走向長期產(chǎn)業(yè)領(lǐng)域。主要原因有三：第一，LED植物照明賦能終端種植更具有經(jīng)濟價值。由于LE...
關(guān)鍵字：
崧盛股份
驅(qū)動電源
在當(dāng)今高度發(fā)展的技術(shù)中，電子產(chǎn)品的升級越來越快，LED燈技術(shù)也在不斷發(fā)展，這使我們的城市變得豐富多彩。 LED驅(qū)動電源將電源轉(zhuǎn)換為特定的電壓和電流，以驅(qū)動LED發(fā)光。通常情況下：LED驅(qū)動電源的輸入包括高壓工頻交流電(即...
關(guān)鍵字：
LED
驅(qū)動電源
高壓直流
人類社會的進步離不開社會上各行各業(yè)的努力，各種各樣的電子產(chǎn)品的更新?lián)Q代離不開我們的設(shè)計者的努力，其實很多人并不會去了解電子產(chǎn)品的組成，比如LED電源。
關(guān)鍵字：
LED
驅(qū)動電源
低壓直流
隨著科學(xué)技術(shù)的發(fā)展，LED技術(shù)也在不斷發(fā)展，為我們的生活帶來各種便利，為我們提供各種各樣生活信息，造福著我們?nèi)祟?。LED驅(qū)動電源實際上是一種電源，但是它是一種特定的電源，用于驅(qū)動LED發(fā)射帶有電壓或電流的光。 因此，LE...
關(guān)鍵字：
LED
驅(qū)動電源
電流
LED燈作為一種新型節(jié)能和無污染光源，由于其特有的發(fā)光照明特性，在現(xiàn)代照明應(yīng)用中發(fā)揮著革命性的作用。作為 LED 照明產(chǎn)業(yè)鏈中最為核心的部件之一，LED 驅(qū)動電源的驅(qū)動控制技術(shù)所存在的可靠性低、成本高等典型問題一直制約著...
關(guān)鍵字：
多路
LED
驅(qū)動電源
隨著社會的快速發(fā)展，LED技術(shù)也在飛速發(fā)展，為我們的城市的燈光煥發(fā)光彩，讓我們的生活越來越有趣，那么你知道LED需要LED驅(qū)動電源嗎?那么你知道什么是LED驅(qū)動電源嗎?
關(guān)鍵字：
LED
開關(guān)電源
驅(qū)動電源
早前有新聞稱，Cree在2018年開始宣布轉(zhuǎn)型高科技半導(dǎo)體領(lǐng)域，并一邊逐漸脫離照明與LED相關(guān)業(yè)務(wù)，一邊持續(xù)投資半導(dǎo)體。在今日，Cree宣布與SMART Global Holdings, Inc.達成最終協(xié)議，擬將LED...
關(guān)鍵字：
cree
led照明
下載文檔
