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

研究分論壇成功舉辦

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

國防科技大學(xué)教授 李姍姍

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

清華大學(xué)教授 姜宇

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

華東師范大學(xué)教授 蘇亭

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

武漢大學(xué)教授 謝曉園

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

北京航空航天大學(xué)教授 黎立

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

北京理工大學(xué)教授 袁野

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

南方科技大學(xué)教授 劉燁龐

上海交通大學(xué)教授徐爾茨在《淺談工業(yè)界和學(xué)術(shù)界合作范式》主題演講中，探討學(xué)術(shù)界與工業(yè)界在操作系統(tǒng)研發(fā)中的協(xié)作模式，梳理了多個學(xué)術(shù)界和工業(yè)界合作的優(yōu)秀實踐，并重點討論一種優(yōu)勢互補的新合作范式。

上海交通大學(xué)教授 徐爾茨

湖南開鴻智谷數(shù)字產(chǎn)業(yè)發(fā)展有限公司軟總線技術(shù)資深專家張政熠在《基于QUIC協(xié)議的軟總線：構(gòu)建設(shè)備互聯(lián)的“高速安全通道”》主題演講中，介紹了QUIC協(xié)議在軟總線中的創(chuàng)新應(yīng)用。通過利用QUIC的低延遲、多路復(fù)用和加密特性，軟總線實現(xiàn)了設(shè)備間高效、穩(wěn)定的數(shù)據(jù)交換，尤其適用于跨網(wǎng)絡(luò)場景。

湖南開鴻智谷數(shù)字產(chǎn)業(yè)發(fā)展有限公司軟總線技術(shù)資深專家 張政熠

本次分論壇匯聚了學(xué)術(shù)界與工業(yè)界的頂尖專家，一系列的主題演講不僅展示了軟件工程領(lǐng)域在數(shù)據(jù)庫、軟件測試、設(shè)備互聯(lián)等方面的關(guān)鍵技術(shù)突破，更凸顯了產(chǎn)學(xué)研深度融合對推動開源鴻蒙生態(tài)繁榮、提升基礎(chǔ)軟件質(zhì)量與安全的重要價值，為協(xié)同構(gòu)建、開源創(chuàng)新指明了未來發(fā)展方向。