英特爾推出機器編程工具,可自主檢測代碼中的 Bug

2020-12-17 IT之家

IT之家12月16日消息 英特爾本月推出了機器編程研究系統 ControlFlag，可以自主檢測代碼中的錯誤，目前仍處於早期階段。

在初步測試中，ControlFlag 利用超過 10 億行未標記的產品級別的代碼進行了訓練並學習了新的缺陷。

英特爾首席科學家 Justin Gottschlich 表示：「ControlFlag 是一個強大的新工具，可以大幅減少評估和 Debug 代碼所需的時間和成本。」

英特爾表示，在IT行業每年花費的 1.25 萬億美元軟體開發成本中，大約有 50% 是用於 Debug 代碼。

據悉，ControlFlag 檢測 Bug 的功能是通過機器編程實現的，其中融合了機器學習、形式化方法、程式語言、編譯器和計算機系統。

IT之家了解到，英特爾甚至已經開始評估在內部使用 ControlFlag，在自己的軟體和固件產品化中尋找 Bug。這是英特爾 Rapid Analysis for Developers 項目的關鍵組成部分。

相關焦點

  • 英特爾推機器編程研究系統,但據說可降低編程門檻不導致失業
    機器編程早在2018年就由英特爾研究院和麻省理工學院聯合發布的《機器編程的三大支柱》論文中提出了，而且英特爾也一直在研發這個系統。之後，這個公司已經通過實驗證實了機器編程的可行性，程式設計師的工作效率和軟體質量都有明顯改善的地方。而在最近，英特爾推出了可自主檢測代碼中的錯誤機器編程研究系統 ControlFlag。
  • 機器編程駕到,未來全球78億人都能寫代碼?
    來源：澎湃新聞華凌來源：科技日報據統計，全球78億人中，只有2700萬人會編寫代碼，佔比不到1%。美國有50萬個編程人員崗位空缺，歐盟目前只有10%的編程人員受過計算機科學專業訓練。據報導，英特爾公司在2020年12月推出的機器編程研究系統ControlFlag是全球首個自我監控系統，不需要標記數據就能學習。
  • 英特爾公布五項新技術進展 涉及機器編程、量子計算等
    12月4日下午消息，在今日的英特爾研究院開放日上，英特爾公布了其在集成光電、神經擬態計算、量子計算、保密計算、機器編程五項新技術進展。在開放日上，英特爾提出了「集成光電」願景，即將光互連I/O直接集成到伺服器和封裝中，對數據中心進行革新，實現1000倍提升，同時降低成本。
  • 機器編程要讓全球78億人都能寫代碼
    英特爾的ControlFlag系統是全球首個自我監控系統，不需要標記數據就能學習，通過學習超過十億行代碼，可以自主檢測代碼中的錯誤，發現了許多過去被開發人員忽略的違規和異常。機器編程到底要做什麼？「研究當前的軟體是如何開發的，考慮異構硬體的未來，可以得出一個強有力的結論，那就是當前開發軟體的方式不會可維持地繼續向前發展。」英特爾首席科學家、英特爾研究院機器編程研究主任及創始人Justin Gottschlich認為，「我們對程式設計師的要求過高。」
  • 讓軟體自己寫軟體,機器編程未來會取代程式設計師嗎?
    這樣的趨勢下，如果有一款工具可以讓計算機自己編程豈不是解決了這個矛盾？基於這種思考，英特爾提出了「機器編程」這個概念，旨在通過自動化工具提升開發效率。機器編程是什麼？英特爾推出機器編程研究系統 ControlFlag抱著這份美好的願景，英特爾開始踏上了機器編程這段旅程的第一步。
  • 英特爾為XPU軟體開發推出oneAPI工具包正式版本
    英特爾於12月9日發布了英特爾 oneAPI工具包的正式版本（即11月宣布將推出的英特爾oneAPI Gold版本），將用於為英特爾 CPU正如我們所承諾的，oneAPI行業計劃旨在為整個生態系統提供一個開放、統一的跨架構編程模型，提供專有編程模型的替代選擇。我們的oneAPI工具包以及英特爾DevCloud提供了讓我們加快進入分布式智能時代的生產工具。」
  • 英特爾宋繼強:邁向可持續的千倍速計算未來
    以下是署名文章全文：本文作者：英特爾中國研究院院長宋繼強回顧2020年，我們的工作和生活模式發生了重大變化，除疫情之外，有一項技術也將在潛移默化中改變我們的生活，即5G。XPU架構的誕生，為軟體提出了更高的要求，因為能夠同時掌握多種架構程式語言的開發人員鳳毛麟角，而軟體是釋放硬體性能的關鍵一環，能夠跨架構編程的軟體模型以及可以提升編程效率的工具就顯得極為重要。為此，英特爾也提前布局，跨架構編程統一模型oneAPI Glod版本已在本月正式發布，將在很大程度上解決跨架構編程難題。
  • 英特爾研究院五大前沿領域研究進展揭秘!神經擬態架構性能已達CPU...
    五、機器編程：詳解兩大Debug系統英特爾首席科學家、英特爾研究院機器編程研究主任及創始人Justin Gottschlich稱：「機器編程是教系統自己編程。」在全球78億人中，只有2700萬人會編寫代碼，佔比不到 1%。英特爾希望藉助機器編程技術，使所有人獲得編程能力。要實現這一目標，機器編程系統需具備兩大要素：首先，機器編程系統要能夠提高編碼員和非編碼員的工作效率；其次，機器編程系統生成的是高質量、快速、安全的代碼。
  • 英特爾為 XPU 軟體開發推出 oneAPI 工具包正式版本
    IT之家12月11日消息 英特爾於 12 月 9 日發布了 oneAPI 工具包正式版，即 11 月宣布將推出的英特爾 oneAPI Gold 版本，將用於為英特爾 CPU、GPU 和 FPGA 等（統稱為 XPU）開發跨架構應用程式。
  • 英特爾最強工具包oneAPI Gold交付,為下一個十年鋪路
    今年，英偉達斥資 400 億美元收購 ARM，志在拓寬 GPU 之外的計算硬體體系；AMD 藉助臺積電 7 納米工藝推出了多款第三代處理器，與英特爾同期產品展開競爭激烈；而蘋果公司在筆記本電腦新品中，首次使用基於 ARM 架構的 5 納米自研晶片 「M1」，激發的連鎖市場反應變數增多。
  • 凌華科技英特爾合作贊助20/20編程馬拉松比賽,尋求機器視覺技術創新
    編程馬拉松（Hackathon）比賽旨在鼓勵企業解決方案構建商使用凌華科技的Vizi-AI devkit和英特爾Distribution of OpenVINO toolkit，分享其機器視覺的技術原型，以應對工業環境中普遍存在的挑戰。20/20 Vision Hack獲獎解決方案將於2021年4月正式對外宣布。
  • BittWare推出首款採用英特爾Agilex FPGA卡,並支持oneAPI
    支持強化的BFLOAT16和高達40 TeraFLOPS的可配置數位訊號處理器（DSP）性能（FP16），對單精度FP32、半精度FP16、BFLOAT16和INT8計算提供了強有力的支持。Agilex還支持從INT7到INT2的低精度配置，以獲得最大的靈活性。根據應用需求，Agilex FPGA的性能可提高40%，功耗可降低40%。
  • 【芯視野】從CPU到XPU 英特爾如何藉助oneAPI破框?
    在程式語言上，oneAPI的核心是直接編程工具C++（Data Parallel C ++，即DPC++）程式語言來表達。關於直接編程工具C++程式語言的概述是：DPC ++是一種其允許開發者使用一個原始碼文檔CPU、GPU、FPGA和其他硬體加速器進行編碼。它是一種開放的，跨行業的程式語言。
  • 樂高推出可編程積木 Lego Boost,通過手機 App 不用敲代碼
    樂高推出可編程積木 Lego Boost，通過手機 App 不用敲代碼 作者：怡彭 發布時間： 2017-01-06 17:45
  • 少兒編程軟體哪個好?國產最強大少兒編程工具推薦
    同時，豐富強大的功能讓少兒編程學習更豐富有趣！帕拉卡（Paracraft）3D動畫編程工具，一個工具包含了方塊建模、3D電影動畫創作、3D圖形化編程&代碼編程、CAD編程三維設計、3D列印、機器人仿真設計6大功能，讓中小學生少兒編程學習更豐富有趣。
  • 機器視覺與運動控制的無縫集成
    在內部軟體框架中，以常見的計算機視覺為例，視覺程序一般位於Windows系統中的非實時用戶模式中，進行代碼分析和算法處理；而PLC工藝流程控制則多位於實時內核模式之中。這種方案的優勢是，一臺控制器完成所有的控制任務，降低硬體成本，簡化系統；實時系統運行視覺任務，保證每一次執行響應的時間足夠穩定，加快生產節拍，提高工廠產能；任務內存間共享數據，多任務配合（如視覺＋運動控制、機器臂／人等）更高效方便；在倍福TwinCAT平臺上，只需要用到基於IEC程式語言（ST／LD等），且可延續原先PLC編程技巧和習慣，縮短了開發周期，降低了人力成本，同時還可運用倍福已經集成好的視覺功能塊進行代碼開發
  • 20/20 Vision Hack: 凌華科技與英特爾合作尋求機器視覺技術創新
    凌華科技提供1萬美元獎金贊助編程馬拉松，以激發開發人員為製造業和物流業打造先進的邊緣AI視覺解決方案凌華科技和合作夥伴英特爾一起，邀請解決方案構建商開發基於邊緣的機器視覺原型，以解決製造、物流或其他水平應用中碰到的實際問題
  • 育碧推出了一款學習編程的手遊,這是在教玩家寫BUG?
    例如育碧就在去年推出了一款學習編程的遊戲《瘋兔：編程學院》，這款遊戲在今年還獲得了最佳教育類遊戲大獎。 話說，育碧跟程序代碼可是有著奇妙的緣分。
  • 樂高推出可編程積木雲軟體 Lego Boost,可通過手機 App 不用敲代碼
    樂高推出了新的可編程積木雲軟體產品「Lego Boost」，一款針對 7 歲以上兒童的教育機器人。可編程積木雲軟體Lego Boost 有 5 款產品，包括一個名叫 Vernie 的機器人、一隻叫 Frankie 的小貓、一把吉他、一輛拖車和一個 3D 搭建平臺。
  • 樂高推出可編程積木雲軟體 Lego Boost,可通過手機 App 不用敲代碼.
    樂高推出了新的可編程積木雲軟體產品「Lego