2025 CCF中國軟件大會(huì)“智能化研發(fā)智能體技術(shù)”論壇于11月28日上午在中國軟件大會(huì)會(huì)場（武漢國際會(huì)議中心二樓荊沁廳205）成功召開！本次論壇由來自華為云工具技術(shù)創(chuàng)新Lab的王千祥、梁廣泰、邊攀等專家及視界引擎CTO申博聯(lián)合發(fā)起組織。該論壇邀請了業(yè)界知名專家天津大學(xué)陳俊潔教授、北京航空航天大學(xué)高祥副教授、中山大學(xué)王焱林助理教授、中國科學(xué)院軟件研究所孫澤宇副研究員、華為邊攀博士作專題報(bào)告，并在最后組織了Panel討論研發(fā)智能體在企業(yè)落地面臨的挑戰(zhàn)及可能的研究方向。該論壇吸引了200多名來自全國全地的智能研發(fā)領(lǐng)域?qū)＜?、師生及相關(guān)研究人員的廣泛參與與熱烈討論

2025年11月14-15日，第8屆AI+研發(fā)數(shù)字峰會(huì)在深圳盛大召開。本次峰會(huì)以“擁抱AI，重塑研發(fā)”為主題，匯聚了眾多科技企業(yè)代表與行業(yè)專家，共同探索AI技術(shù)在研發(fā)全流程中的應(yīng)用與未來趨勢。在這場備受矚目的行業(yè)盛會(huì)上，由華為云工具技術(shù)創(chuàng)新Lab提供核心算法支撐的華為云CodeArts智能助手（CodeArts Doer）憑借其在智能化研發(fā)領(lǐng)域的卓越創(chuàng)新與領(lǐng)先實(shí)踐，一舉榮獲“AI+行動(dòng)領(lǐng)航獎(jiǎng)”與“AI研發(fā)應(yīng)用場景創(chuàng)新獎(jiǎng)”兩項(xiàng)核心大獎(jiǎng)

隨著大語言模型的應(yīng)用越來越廣泛，傳統(tǒng)的軟件開發(fā)范式正在經(jīng)歷深刻變革。AI 不再僅僅是應(yīng)用中的一個(gè)功能模塊，而是正在成為驅(qū)動(dòng)整個(gè)開發(fā)生命周期的核心引擎。本次技術(shù)論壇聚焦智能化開發(fā)的核心 – 具有Agent能力的模型與框架技術(shù)，深入探討如何在開發(fā)過程中更好地利用和集成大語言模型能力，構(gòu)建新一代智能化軟件及其開發(fā)工具鏈和方法論。 

華為云工具技術(shù)創(chuàng)新Lab自2021年起持續(xù)開展單元測試智能化核心技術(shù)研究，有效聯(lián)合華為云國內(nèi)團(tuán)隊(duì)與俄羅斯團(tuán)隊(duì)力量，并與國內(nèi)頂尖高校（如北京大學(xué)、天津大學(xué)、南京大學(xué)、中科院軟件所等）開展產(chǎn)學(xué)研聯(lián)合創(chuàng)新，圍繞單元測試智能化方向，持續(xù)深入研究軟件分析、LLM、Agent等前沿技術(shù)，孵化出方法級(jí)/文件級(jí)單元測試生成，測試用例修復(fù)，開發(fā)者測試智能體等特性。上述特性成功落地于華為云CodeArts Doer（CodeArts 智能助手），有效支撐產(chǎn)品核心技術(shù)競爭力提升。此外，項(xiàng)目研究成果獲得產(chǎn)業(yè)界與學(xué)術(shù)界的高度評價(jià)，產(chǎn)出5項(xiàng)高價(jià)值專利，7篇成果發(fā)表于ASE/ISSTA/TOSEM/TSE等軟件工程領(lǐng)域頂級(jí)會(huì)議和頂級(jí)期刊，并榮獲2025 CCF產(chǎn)學(xué)合作基金優(yōu)秀案例和CCF軟件工程專委胡楊林基金2023年度標(biāo)桿項(xiàng)目。在能力產(chǎn)品化和科研成果持續(xù)突破的基礎(chǔ)上，這些智能化測試技術(shù)也獲得了權(quán)威機(jī)構(gòu)的認(rèn)可。2025年7月，在中國信通院組織的可信AI智能測試工具評估中，華為云CodeArts Doer最終獲得4+級(jí)最高評級(jí)，成為國內(nèi)首批（僅3家）通過該項(xiàng)評估并獲得當(dāng)前最高評級(jí)的企業(yè)之一。

2024年9月，ACM（國際計(jì)算機(jī)學(xué)會(huì)）SIGSAC CN正式公布2024年度中國“優(yōu)博獎(jiǎng)”評選結(jié)果。華為云工具技術(shù)創(chuàng)新Lab（原PaaS技術(shù)創(chuàng)新Lab）軟件分析研究員/復(fù)旦大學(xué)博士畢業(yè)生談心從全國頂尖博士人才中脫穎而出，以全國總排名第二的優(yōu)異成績摘得該獎(jiǎng)項(xiàng)。

9月初，中國計(jì)算機(jī)學(xué)會(huì)（CCF）軟件工程專業(yè)委員會(huì)正式公布 2025 年度博士學(xué)位論文激勵(lì)計(jì)劃評選結(jié)果。華為云工具技術(shù)創(chuàng)新Lab（原PaaS技術(shù)創(chuàng)新Lab）聯(lián)合培養(yǎng)實(shí)習(xí)生/北京大學(xué)博士畢業(yè)生陳天宇成功入選該計(jì)劃提名論文。

在軟件研發(fā)效率與質(zhì)量要求持續(xù)攀升的今天，自動(dòng)化測試用例生成技術(shù)已成為行業(yè)關(guān)注的焦點(diǎn)。由華為云PaaS技術(shù)創(chuàng)新Lab與天津大學(xué)陳俊潔教授團(tuán)隊(duì)聯(lián)合開展的CCF-華為胡楊林基金項(xiàng)目——“大模型與類型系統(tǒng)混合驅(qū)動(dòng)的測試用例生成技術(shù)研究”，成功攻克了長期困擾業(yè)界的測試用例生成難題，實(shí)現(xiàn)了從技術(shù)理論到產(chǎn)業(yè)落地的全面突破。該項(xiàng)目成果顯著的應(yīng)用價(jià)值，不僅獲得華為云計(jì)算公司和CCF產(chǎn)學(xué)基金專家的認(rèn)可，更憑借突出成果，在所有候選的220個(gè)項(xiàng)目中，以僅5%的入選率，成功入選2025 年度 CCF 產(chǎn)學(xué)合作基金優(yōu)秀案例。此次入選彰顯了該校企合作項(xiàng)目的技術(shù)領(lǐng)先性和產(chǎn)業(yè)轉(zhuǎn)化效果突出性。

中國計(jì)算機(jī)學(xué)會(huì)（CCF）開源發(fā)展委員會(huì)成立大會(huì)于2021年12月17日在深圳以線下線上并行方式召開，經(jīng)過參會(huì)執(zhí)行委員無記名投票，差額選舉產(chǎn)生開源發(fā)展委員會(huì)首屆負(fù)責(zé)人和常務(wù)委員，中國科學(xué)院王懷民院士當(dāng)選首屆主任，王千祥老師擔(dān)任CCF開源發(fā)展委員會(huì)首批常務(wù)委員，梁廣泰擔(dān)任首批執(zhí)行委員。CCF開源發(fā)展委員會(huì)于當(dāng)晚正式成立，推動(dòng)探索學(xué)術(shù)共同體主導(dǎo)的開源發(fā)展新途徑。

作為CCF開源發(fā)展技術(shù)委員會(huì)開源供應(yīng)鏈安全工作組牽頭單位，華為云PaaS技術(shù)創(chuàng)新Lab 聯(lián)合多家單位成功組織并舉辦 2025 CCF中國開源大會(huì) “自主可控開源供應(yīng)鏈安全”技術(shù)論壇！

Lab研究成果 MOREST（Lab成員吳潤超、包忞立等同事參與完成）被軟件工程領(lǐng)域頂級(jí)會(huì)議ICSE 2021正式接收。本研究從構(gòu)建的API操作依賴圖中，挖掘符合語義的測試序列，并進(jìn)行動(dòng)態(tài)調(diào)整。公司內(nèi)的實(shí)際工程落地結(jié)果 驗(yàn)證了MOREST的有效性和生成效率，達(dá)到了行業(yè)內(nèi)領(lǐng)先水平。

華為云PaaS技術(shù)創(chuàng)新Lab聯(lián)合北京大學(xué)、中國科學(xué)院軟件研究所，圍繞數(shù)據(jù)庫自動(dòng)化更新場景，共同提出了“Bipartite-Grammar Aware（BGA）”領(lǐng)域預(yù)訓(xùn)練方法，并發(fā)布大規(guī)模TwinXSQL數(shù)據(jù)集，在XML-SQL代碼自動(dòng)更新任務(wù)上取得進(jìn)展，成果已被軟件工程國際頂級(jí)期刊TOSEM 2025接收。

華為云PaaS技術(shù)創(chuàng)新Lab聯(lián)合北京大學(xué)研究團(tuán)隊(duì)，共同推出Taper系統(tǒng)，通過版本感知過濾和混淆補(bǔ)丁增強(qiáng)模型，高效精準(zhǔn)地解決開源軟件補(bǔ)丁定位的效率與準(zhǔn)確性難題，成果發(fā)表在FSE 2025。

華為云智能編程助手CodeArts Snap作為云廠商中首個(gè)自研的AI代碼輔助編程工具，致力于打造現(xiàn)代化開發(fā)新范式。通過將自然語言轉(zhuǎn)化為規(guī)范可閱讀、無開源漏洞的安全編程語言，提升開發(fā)者編碼效率，助力企業(yè)快速響應(yīng)市場需求。華為云CodeArts Snap目前處于限時(shí)邀測階段，可即刻點(diǎn)擊鏈接或掃碼體驗(yàn)！

華為云CodeCheck代碼檢查插件由PaaS安全域團(tuán)隊(duì)出品，致力于守護(hù)開發(fā)人員代碼質(zhì)量，提供業(yè)界規(guī)范（含華為云）的檢查、代碼風(fēng)格一件格式化及代碼自動(dòng)修復(fù)功能。

華為云軟件開發(fā)生產(chǎn)線上新智能編程助手CodeArts Snap，它能將自然語言轉(zhuǎn)化為編程語言，支持函數(shù)級(jí)代碼生成，單元測試用例生成，代碼檢查與修復(fù)等功能，大大提升開發(fā)者編碼效率和質(zhì)量。

Lab研究成果“SmartCommit: A Graph-based Interactive Assistant for Activity-Oriented Commits”（申博、魏昭、梁廣泰、王千祥等同事參與完成）被軟件工程領(lǐng)域頂級(jí)會(huì)議ESEC/FSE 2021正式接收并被授予ACM杰出論文獎(jiǎng)(本次會(huì)議僅有 8 篇被授予該獎(jiǎng)勵(lì)，是對本項(xiàng)研究創(chuàng)新性的高度肯定）。

華為云PaaS技術(shù)創(chuàng)新實(shí)驗(yàn)室聯(lián)合華為諾亞方舟實(shí)驗(yàn)室語音語義實(shí)驗(yàn)室一起基于PanGu-Alpha研制出了當(dāng)前業(yè)界最新的模型PanGu-Coder，不但熟悉常見算法，還能熟練地使用各種API，甚至可以求解高等數(shù)學(xué)問題。作為國產(chǎn)函數(shù)級(jí)代碼生成模型，PanGu-Coder在中文上表現(xiàn)也十分出色！

CNCC是由CCF主辦的計(jì)算領(lǐng)域年度盛會(huì)，創(chuàng)建于2003年，是CCF旗艦會(huì)議，每年于不同城市舉辦，至今已成功舉辦十八屆。華為云PaaS技術(shù)創(chuàng)新Lab在《數(shù)據(jù)驅(qū)動(dòng)的開源漏洞挖掘與修復(fù)》、《云原生穩(wěn)定性與混沌工程論壇》以及《基于大模型的智能化軟件工程》等論壇參與報(bào)告。