7月3日,2024全球數(shù)字經(jīng)濟(jì)大會在京舉行,眾多前沿技術(shù)和產(chǎn)品在大會現(xiàn)場首發(fā),展示數(shù)字技術(shù)創(chuàng)新發(fā)展最新成果。奇安信集團(tuán)正式對外發(fā)布一款基于奇安信安全代碼大模型的智能編碼輔助工具奇安信AI代碼助手(QAX CodeGen)。該產(chǎn)品提供代碼生成、代碼補(bǔ)全、代碼解釋/注釋、代碼對話等基礎(chǔ)功能外,還提供了代碼漏洞檢查、代碼安全修復(fù)等聚焦安全場景的專屬功能,可以實現(xiàn)開發(fā)效率、代碼質(zhì)量和安全性的三重提升,讓編程從此更加高效、安全和便捷,助力科技企業(yè)釋放更大的生產(chǎn)力。
圖:奇安信AI代碼助手在2024全球數(shù)字經(jīng)濟(jì)大會上正式發(fā)布
奇安信AI代碼助手,讓編碼效率與安全兼顧
“如果說2023年是世界發(fā)現(xiàn)生成式人工智能的一年,那么2024年則是組織真正開始使用這項新技術(shù)并從中獲取商業(yè)價值的一年!逼姘残臕I代碼助手產(chǎn)品總監(jiān)葛成宇在2024全球數(shù)字經(jīng)濟(jì)大會成果發(fā)布現(xiàn)場表示,人工智能正在成為全球產(chǎn)業(yè)主流。根據(jù)最新的麥肯錫全球人工智能調(diào)查,65%的受訪者表示他們的組織經(jīng)常使用AI,其中75%的受訪者預(yù)測AI將在未來幾年內(nèi)為其行業(yè)帶來重大或顛覆性的變化。
葛成宇回顧了AI+編碼的發(fā)展歷程,從早期的依靠人工設(shè)計模板、生成邏輯單一的專家系統(tǒng)時代,歷經(jīng)機(jī)器學(xué)習(xí)、深度學(xué)習(xí)、預(yù)訓(xùn)練模型等幾次時代演進(jìn),發(fā)展到如今基于百/千億參數(shù)的大模型時代。在這個時代,大模型蘊(yùn)含了廣泛的世界知識,在使用高質(zhì)量數(shù)據(jù)做有監(jiān)督微調(diào)和偏好對齊后,開發(fā)人員可利用其指令遵循能力與之自然交互。
在葛成宇看來,軟件后門和漏洞層出不窮,是網(wǎng)絡(luò)攻擊屢次得逞、網(wǎng)絡(luò)安全風(fēng)險不斷加劇的原因,因此,真正理想的代碼大模型,首先減少手動編碼,提升開發(fā)效率;其次要發(fā)現(xiàn)代碼潛在問題,降低代碼錯誤率;最后是修復(fù)代碼漏洞,提高代碼安全性,從而實現(xiàn)效率、質(zhì)量和安全的三者兼顧。
據(jù)介紹,奇安信AI代碼助手的核心能力源于奇安信自主研發(fā)的安全代碼大模型,它能夠在已有代碼的上下文中實現(xiàn)智能補(bǔ)全,還能通過與AI助手對話的方式生成符合特定需求的代碼、自動解釋代碼功能、檢查代碼中的bug、編寫單元測試,并發(fā)現(xiàn)代碼安全問題等,從而提高開發(fā)的效率和質(zhì)量,保證代碼的安全性和可維護(hù)性。
目前,奇安信AI代碼助手支持上百種編程語言,如常見的前、后端語言(JavaScript、HTML、CSS、Python、Java、C/C++、Go、Rust、SQL、PHP等),同時適配多種主流IDE平臺,如VS Code、JetBrains系列(IntelliJ IDEA、PyCharm等)。
“代碼是軟件的原始形態(tài),是構(gòu)建系統(tǒng)的基礎(chǔ)組件,自身安全性至關(guān)重要。但長期以來,軟件開發(fā)無法做到效率與安全兼顧,成熟的軟件開發(fā)人員并不等于安全專家!备鸪捎畋硎荆姘残叛邪l(fā)團(tuán)隊利用豐富的軟件開發(fā)和代碼安全知識訓(xùn)練專門的大語言模型安全代碼大模型,基于此的AI代碼助手,兼具軟件開發(fā)高手和安全專家的知識和經(jīng)驗,成為軟件開發(fā)人員的編程提效工具,提供高質(zhì)量的安全編碼建議,實現(xiàn)效率與安全兼顧。
開發(fā)提效,安全左移,軟件工程邁入AI時代
實際應(yīng)用數(shù)據(jù)表明,奇安信AI代碼助手能夠大幅提升開發(fā)效率,有效減少開發(fā)者機(jī)械性工作,令其更專注于解決問題和創(chuàng)造價值;同時,代碼安全性得到顯著增強(qiáng),通過安全檢查和智能提示,幫助開發(fā)者避免常見代碼漏洞,從開發(fā)階段筑牢安全基石,真正實現(xiàn)安全左移。此外,AI代碼助手還能縮短開發(fā)者的學(xué)習(xí)曲線,幫助開發(fā)者快速理解、規(guī)范編寫,讓開發(fā)少走彎路。
奇安信AI代碼助手將面向企業(yè)和個人開發(fā)者提供三種產(chǎn)品形態(tài),分別是:IDE插件形態(tài),主要為個人開發(fā)者提供編程工具,適配主流的開發(fā)環(huán)境;云端服務(wù)形態(tài),為企業(yè)和個人提供SaaS API;私有化部署形態(tài),為企業(yè)提供私有化部署方案,支持單機(jī)和集群部署。
2023年,Gartner對AI代碼助手應(yīng)用情況的一項調(diào)查顯示,全球598家知名企業(yè)中有63%的企業(yè)正在試用、部署或已經(jīng)部署了AI代碼助手。Gartner預(yù)測,到2028年90%的企業(yè)軟件工程師將使用AI代碼助手,使用AI編碼工具將成為業(yè)內(nèi)一種普遍做法。
“展望未來,軟件工程不會被AI顛覆,但流程會被簡化、被智能化!备鸪捎畋硎荆孉I在關(guān)鍵節(jié)點賦能開發(fā)實現(xiàn)效率提升,成為大模型應(yīng)用于軟件工程的重要目標(biāo)之一,也是推動軟件產(chǎn)業(yè)創(chuàng)新和升級的重要力量。未來,AI與軟件工程的結(jié)合將更加緊密,并為軟件開發(fā)帶來革命性的變化,在數(shù)字經(jīng)濟(jì)時代為企業(yè)釋放出更大的生產(chǎn)力。