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