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

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

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

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

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

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

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

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

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

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

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

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