9月27日，開源鴻蒙技術大會2025研究分論壇在湖南長沙國際會議中心圓滿舉行。本次分論壇聚焦探討軟件工程與開源鴻蒙生態的前沿技術，內容涵蓋了數據庫技術、軟件測試方法、設備互聯等多個層面，旨在推動產學研深度融合，提升軟件質量與安全，促進開源社區健康發展。研究分論壇由國防科技大學教授李姍姍和北京航空航天大學教授黎立擔任出品人。

研究分論壇成功舉辦

本次研究分論壇在國防科技大學教授李姍姍的主持下拉開帷幕，論壇匯聚了來自北京理工大學、清華大學、華東師范大學、武漢大學、南方科技大學、上海交通大學等多位知名高校學者及企業專家。

國防科技大學教授 李姍姍

清華大學教授姜宇在《基礎軟件模糊測試》主題演講中，系統闡述了模糊測試在數據庫安全和操作系統安全上的應用。他指出，當前模糊測試面臨兩大難點，測試輸入的統一建模與生成，以及判斷測試用例執行正常與否的測試準測構建。姜宇還介紹了其團隊在關鍵技術上的突破，提出模糊測試對保障系統的安全至關重要，并為未來自動化漏洞挖掘指明了方向。

清華大學教授 姜宇

華東師范大學教授蘇亭在《基于性質的UI測試技術》主題演講中，針對自動化UI測試的局限性提出創新解決方案。傳統UI測試難以檢測業務邏輯錯誤且測試效率低，而基于性質的測試技術通過定義功能屬性，不僅可以實現多路徑覆蓋且可以進行復雜場景的自動化驗證。蘇亭還介紹了開源工具Kea2及其在開源鴻蒙、微信支付等平臺的落地效果，展示其提升測試穩定性和檢錯能力的優勢。

華東師范大學教授 蘇亭

武漢大學教授謝曉園做《快迭代下的“穩”開發：開源鴻蒙社區的友好開發實踐》主題演講，針對開源鴻蒙社區在高速迭代中出現的API適配滯后、文檔更新不及時等問題提出了優化策略。API文檔自動生成技術和API變更自動適配技術，可以有效平衡“用戶友好開發”與“社區秩序維護”的需求，并在實際應用中提升開發效率，為開源社區治理提供了可落地的參考。

武漢大學教授 謝曉園

論壇下半場由北京航空航天大學教授黎立主持，圍繞開源鴻蒙如何與數據庫技術、大模型技術相結合以及工業落地的實踐，與現場嘉賓和觀眾展開交流。

北京航空航天大學教授 黎立

北京理工大學教授袁野在《神經符號數據庫技術及應用》的主題演講中，探討了神經符號數據庫的核心優勢，通過把人工智能、數據庫技術與大數據計算融合，神經符號數據庫能夠高效地處理異構數據。同時，袁野還介紹了對應的挑戰并分享了解決思路，為領域研究提供了理論支撐與實踐建議。神經符號數據庫有望成為未來數據管理的關鍵驅動力，推動人工智能與數據庫技術的協同發展。

北京理工大學教授 袁野

南方科技大學教授劉燁龐在《基于LLM的跨框架測試代碼自動生成技術初探》的主題演講中，介紹了一種創新測試方法。該方法利用大語言模型從現有項目學習缺陷模式與測試邏輯，并通過知識遷移自動生成適配測試代碼，實現跨框架的缺陷檢測。劉燁龐指出，框架功能差異是主要挑戰，其團隊通過對齊、篩選等關鍵流程優化模型表現，成功檢測出多個未知漏洞。

南方科技大學教授 劉燁龐

上海交通大學教授徐爾茨在《淺談工業界和學術界合作范式》主題演講中，探討學術界與工業界在操作系統研發中的協作模式，梳理了多個學術界和工業界合作的優秀實踐，并重點討論一種優勢互補的新合作范式。

上海交通大學教授 徐爾茨

湖南開鴻智谷數字產業發展有限公司軟總線技術資深專家張政熠在《基于QUIC協議的軟總線：構建設備互聯的“高速安全通道”》主題演講中，介紹了QUIC協議在軟總線中的創新應用。通過利用QUIC的低延遲、多路復用和加密特性，軟總線實現了設備間高效、穩定的數據交換，尤其適用于跨網絡場景。

湖南開鴻智谷數字產業發展有限公司軟總線技術資深專家 張政熠

本次分論壇匯聚了學術界與工業界的頂尖專家，一系列的主題演講不僅展示了軟件工程領域在數據庫、軟件測試、設備互聯等方面的關鍵技術突破，更凸顯了產學研深度融合對推動開源鴻蒙生態繁榮、提升基礎軟件質量與安全的重要價值，為協同構建、開源創新指明了未來發展方向。