9月27日，開源鴻蒙技術大會2025 AI軟件工程分論壇在湖南長沙國際會議中心圓滿舉行。本次論壇圍繞開源鴻蒙智能化軟件工程技術，直擊開源鴻蒙開發者三大核心訴求：在“降本”維度，通過代碼模型小型化降低AI工具鏈使用門檻；在“增效”層面，構建大模型評測體系提升開發效率；在“安全”領域，憑借AI驅動的漏洞檢測方案降低生態風險。

此次論壇產學研陣容豪華，由北京大學、清華大學、武漢大學、北京航空航天大學、中山大學、重慶大學等院校院長級專家領銜；華為、Thoughtworks、快手三大標桿企業分享實戰經驗；中南大學等湖南本地高校師生深度參與技術交流聯動。論壇由華為終端軟件工程與IT裝備部孫為國與開源鴻蒙AI軟件工程SIG副組長王意明聯合出品。此次論壇的成功舉辦標志著開源鴻蒙AI軟件工程從技術探索步入規模落地階段，預計2025年底將賦能10萬+開發者。

AI軟件工程分論壇成功舉辦

中山大學軟件工程學院院長鄭子彬在分論壇上發表致辭。他表示，通過AI工具賦能開發，將AI代碼生成、漏洞檢測等能力深度集成至開源鴻蒙開發工具鏈，可以快速提升社區建設效率。隨著開源鴻蒙開發創新獎勵計劃的正式啟動，標志著開發者可通過代碼貢獻、漏洞修復等任務獲取積分，積分可兌換現金獎勵或高校學分，以雙軌機制推動開源鴻蒙生態發展。期待開發者、高校及企業通過該平臺一起解決技術挑戰課題，期望各高校能夠直接在開源鴻蒙上做開拓性、前瞻性的AI軟件工程研究。

中山大學軟件工程學院院長 鄭子彬

北京大學計算機學院副院長周明輝作為致辭嘉賓表示，開源鴻蒙生態繁榮向前的同時，AI技術也正經歷一場“覺醒式”爆發。開源社區是產業創新的重要渠道，希望在本土的基礎軟件上有新的創新，也特別希望產學研融合，能夠讓本土的技術在全世界大放光芒。

北京大學計算機學院副院長 周明輝

華為終端BG軟件可信使能與IT裝備部部長楊開封作為致辭嘉賓預祝此次論壇成功舉辦，他表示AI大模型正在重塑軟件工程的智能化進程，基于開源鴻蒙PC的AI開發解決方案將為軟件工程的發展注入新的動力。期待更多的高校、行業伙伴攜手共建開源鴻蒙生態，共同推動開源鴻蒙軟件工程技術的創新，邁向更加開放、智能的未來。

華為終端BG軟件可信使能與IT裝備部部長 楊開封

為增進合作伙伴信任，并更好地使用由開源鴻蒙提供的AI及軟件工程能力，加速開源鴻蒙組件開發效率，AI軟件工程能力SIG應運而生，并于活動現場舉辦了成立儀式，由開源鴻蒙項目管理委員會(PMC)主席任革林頒發授牌。該SIG致力于以繁榮開源鴻蒙生態為始，匯聚群智、開源協作、共建共享，通過托管于開源鴻蒙AI工程能力平臺，服務千行百業。

AI軟件工程能力SIG授牌儀式

華為終端BG平板PC軟件首席架構師楊彰做《模型生態：鴻蒙電腦AI開發和生態構建》主題演講，介紹了鴻蒙電腦AI開放策略，通過構建AI開放能力平臺，推動應用快速AI化，支撐PC辦公場景AI生產力。其中賦能伙伴完成重點場景本地化部署，代表企業有悟空圖像、Coremail、新華妙筆等。最后通過介紹鴻蒙應用AI能力接入流程，邀請廣大伙伴一起加入鴻蒙AI生態，推動AI生態快速規模化，打造鴻蒙電腦AI生產力。

華為終端BG平板PC軟件首席架構師 楊彰

北京大學計算機學院博士張克馳帶來了《模型生產：面向邏輯推理的大語言模型能力突破》主題演講，他表示大語言模型（LLM）在輔助軟件開發方面已經顯露出明顯的作用。然而，LLM在基于狀態的推理和泛化方面存在的問題也日益凸顯，這些基礎能力方面的固有缺陷，正逐步表現在許多程序生成、程序理解及其他軟件開發任務中。此外，站在邏輯推理能力的視角，對當前LLM的一些基礎問題和潛在研究進展進行介紹，以期推動LLM能力的進一步提升，也推動基于LLM的智能化軟件工程的進步。

北京大學計算機學院博士 張克馳

ThoughtWorks全球數字化專家肖然和首席嵌入式操作系統專家林立俊共同帶來了《軟件工程：AI時代的軟件工程理論及實踐》主題分享。肖然表示，AI正在重塑軟件工程的本質，推動行業從“代碼實現”轉向“知識決策”；并分享了如何利用大語言模型（LLM）重構軟件開發全流程，將AI深度融入架構設計、測試驅動開發（TDD）與自動化測試等關鍵環節；結合真實場景，展示如何構建高效、可靠的人機協同開發模式，助力開發者超越“編寫代碼”的層面，轉型為駕馭AI的“知識工程師”，掌握智能時代的核心競爭力。

在企業實踐介紹環節，林立俊給大家提供了一種基于Agent的API優選策略以及測試用例生成方法。通過使用AI輔助API優選、測試用例生成、 harness生成、依賴關系識別等方法實踐，實現自動化構建Test Driver，解決了用例編寫難、漏洞及缺陷發現率低等痛點問題，提升了API優選及測試的效率和質量。

Thoughtworks全球數字化專家 肖然

Thoughtworks首席嵌入式操作系統專家 林立俊

中山大學軟件工程學院助理教授王焱林在《社區開發：代碼大模型的應用、評測與優化》主題演講中，介紹了代碼大模型在軟件開發與測試、軟件維護與保障等領域的應用、測評與優化，涵蓋了從數據構建到智能體的整個能力層，并提出了多種解決方案和優化方法。她表示AI軟件工程應用場景正在由簡單任務處理轉向到復雜產業落地，這就需要環境構建、工具深度融合、軟工知識與經驗結合和可信保障等全方位提升研發效能。

中山大學軟件工程學院助理教授 王焱林

中國科學院大學副研究員賈相堃帶來了《社區測試：模糊測試驅動生成——從自動化到智能化》主題演講，他表示編寫模糊測試驅動進行測試是當前函數庫測試的最有效方案之一，如何編寫更有效的驅動是亟需解決的問題。團隊提出了自動化方案AFGen，重點解決了驅動自動生成中的數據依賴、數值初始化來源和漏洞觸發路徑約束等難題，研究智能化方案PromeFuzz，引入大模型提高驅動生成能力，通過知識的系統性提取、利用和反饋，解決了語義知識缺乏、誤報率高、支持語言有限等問題，能力優于Google OSS-Fuzz-Gen等AI方案。相關成果形成論文發表于IEEE S&P 2024、ACM CCS 2025，并應用于開源鴻蒙基礎函數庫測試。

中國科學院大學副研究員 賈相堃

快手AI軟件工程專家華劍侃作《社區實踐：從工具到伙伴，AI 浪潮下的快手研發工具再定義》主題演講，介紹了Kwaipilot AI研發工具產品如何圍繞快手研發全生命周期場景進行探索、落地實踐及對應結果。Kwaipilot應用快手自研的代碼大模型，將大模型能力貫穿研發全生命周期，提供智能編碼助手、智能問答引擎和智能體開發平臺三大AI研發產品。通過構建程序語言的形式化表征和邏輯推理鏈，并將MoE架構成功應用于預訓練代碼大模型，取得了顯著的線上收益。同時，從代碼續寫模型逐步豐富到 Code Embedding、Code Agent、Code/Math Instruct 等模型矩陣，在HumanEval、CoSQA、SWE-bench上取得SOTA表現。

快手AI軟件工程專家 華劍侃

活動現場還舉辦了題為《開源鴻蒙智能化軟件工程未來技術展望及人才培養》的圓桌論壇。本次圓桌論壇由華為智能化軟件研發首席專家王千祥主持，并有幸邀請到武漢大學特色化示范性軟件學院院長金芝、北京航空航天大學軟件學院院長胡春明、中山大學軟件工程學院院長鄭子彬、重慶大學大數據與軟件學院院長張洪宇、北京大學計算機學院副院長周明輝和清華大學深圳國際研究生院計算機科學與技術研究所所長夏樹濤。圓桌論壇聚焦開源鴻蒙社區軟件開發，就開發潛在創新點、與AI結合點，以及如何通過開源鴻蒙社區開發創新獎勵計劃與高校人才培養相結合等問題進行現場交流討論。各位專家發表了諸多具有建設性的觀點，共同呼吁產學研各界要把握AI軟件工程發展帶來的機遇，打造基礎設施底座，培養開源鴻蒙開發人才，共繪開源鴻蒙新藍圖。

圓桌交流現場

當AI遇上開源鴻蒙，不僅是對開發流程的優化，更在于重新定義智能終端軟件的生產方式。AI軟件工程不僅是技術升級，更是開源鴻蒙構建差異化生態的關鍵抓手。開源鴻蒙將通過AI軟件工程實現差異化競爭力構建與生態系統賦能，提高開發者的效率，提升開源鴻蒙操作系統的安全性與智能性，為萬物智聯時代注入不竭的動能。