英特爾機(jī)器編程工具可以檢測(cè)代碼中的錯(cuò)誤

英特爾今天發(fā)布了機(jī)器編程研究系統(tǒng)ControlFlag，它可以自動(dòng)檢測(cè)代碼中的錯(cuò)誤。

盡管仍處于早期階段，但這種新穎的自我監(jiān)控系統(tǒng)有望成為功能強(qiáng)大的生產(chǎn)力工具，以幫助軟件開發(fā)人員執(zhí)行耗時(shí)且勞動(dòng)密集的調(diào)試。

在初步測(cè)試中，ControlFlag使用了超過10億行未標(biāo)記的產(chǎn)品級(jí)代碼來培訓(xùn)和學(xué)習(xí)新的缺陷。

英特爾首席科學(xué)家，機(jī)器編程研究總監(jiān)兼英特爾研究院創(chuàng)始人賈斯汀·戈茨利希（Justin Gottschlich）表示：“我們相信ControlFlag是一種功能強(qiáng)大的新工具，可以大大減少評(píng)估和調(diào)試代碼所需的時(shí)間和成本。

該研究發(fā)現(xiàn)，軟件開發(fā)人員將大約一半的時(shí)間花在調(diào)試上。

通過ControlFlag和類似的系統(tǒng)，程序員有望大大減少調(diào)試時(shí)間，并將更多的時(shí)間花在人類程序員最擅長向計(jì)算機(jī)展示創(chuàng)造性的新思想的方面。

如今，當(dāng)軟件的重要性變得越來越重要時(shí)，開發(fā)人員仍然繼續(xù)花費(fèi)不成比例的時(shí)間來修復(fù)錯(cuò)誤，而不是編寫代碼。

實(shí)際上，IT行業(yè)每年在1.25萬億美元的軟件開發(fā)成本中，約有50％用于調(diào)試代碼1。

隨著異構(gòu)時(shí)代的到來，也就是多種多樣的專用處理器的組合來管理當(dāng)今的海量數(shù)據(jù)，管理這些系統(tǒng)所需的軟件變得越來越復(fù)雜，導(dǎo)致出現(xiàn)錯(cuò)誤的可能性越來越大。

更傾向于。

此外，很難找到能夠正確，高效和安全地為跨體系結(jié)構(gòu)的硬件編寫代碼的程序員，這也增加了代碼中新的和難以發(fā)現(xiàn)的錯(cuò)誤的可能性。

因此，調(diào)試代碼的工作將為開發(fā)人員和整個(gè)行業(yè)帶來更高的價(jià)格。

完全實(shí)現(xiàn)的ControlFlag通過自動(dòng)化繁瑣的軟件開發(fā)工作（例如測(cè)試，監(jiān)視和調(diào)試），可以幫助緩解上述挑戰(zhàn)。

這不僅提高了開發(fā)人員的效率，并使他們能夠?qū)⒏嗟臅r(shí)間花在創(chuàng)造力上，而且解決了當(dāng)前軟件開發(fā)中最昂貴的問題之一。

ControlFlag檢測(cè)錯(cuò)誤的功能是通過機(jī)器編程實(shí)現(xiàn)的，該機(jī)器編程結(jié)合了機(jī)器學(xué)習(xí)，形式化方法，編程語言，編譯器和計(jì)算機(jī)系統(tǒng)。

具體來說，ControlFlag通過稱為異常檢測(cè)的功能進(jìn)行操作。

作為人類生活在自然界中，我們了解某些被認(rèn)為是“正?！钡哪Ｊ?。

通過觀察。

同樣，ControlFlag通過學(xué)習(xí)經(jīng)過驗(yàn)證的示例來檢測(cè)正常的編程模式，并在代碼中查找可能導(dǎo)致錯(cuò)誤的異常。

此外，無論代碼使用哪種編程語言，ControlFlag都可以檢測(cè)到這些異常。

ControlFlag的無監(jiān)督模式識(shí)別方法的主要優(yōu)點(diǎn)之一是，它可以從本質(zhì)上學(xué)習(xí)適應(yīng)開發(fā)人員的樣式。

在需要評(píng)估的控制工具輸入信息有限的情況下，ControlFlag可以識(shí)別編程語言中的各種樣式，類似于讀者在使用完整單詞和縮寫詞來識(shí)別英語時(shí)的區(qū)別。

該工具將學(xué)習(xí)識(shí)別并標(biāo)記這些樣式選擇，并基于其洞察力來識(shí)別錯(cuò)誤并提出解決方案，以便ControlFlag嘗試避免兩個(gè)開發(fā)團(tuán)隊(duì)之間的樣式差異（因?yàn)榇a錯(cuò)誤）。

ControlFlag已證明，它可以在廣泛使用的產(chǎn)品級(jí)代碼中找到隱藏的錯(cuò)誤，這些錯(cuò)誤已由軟件開發(fā)人員進(jìn)行過審查。

例如，當(dāng)分析cURL（程序員廣泛使用的開放源代碼命令行工具來實(shí)現(xiàn)Internet下載）時(shí)，ControlFlag發(fā)現(xiàn)了一個(gè)未被發(fā)現(xiàn)的異常，促使cURL開發(fā)人員提出了一種更好的解決方案。

英特爾甚至已經(jīng)開始在內(nèi)部評(píng)估ControlFlag的使用，以尋找其自己的軟件和固件產(chǎn)品化過程中的錯(cuò)誤。

這是“英特爾開發(fā)人員快速分析”項(xiàng)目的關(guān)鍵組件，該項(xiàng)目旨在通過提供專家支持來幫助程序員加速開發(fā)。