開源鴻蒙技術(shù)大會(huì)2025 | 研究分論壇：探索前沿技術(shù)，推動(dòng)生態(tài)繁榮

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

　　研究分論壇成功舉辦

　　本次研究分論壇在國防科技大學(xué)教授李?yuàn)檴櫟闹鞒窒吕�開帷幕，論壇匯聚了來自北京理工大學(xué)、清華大學(xué)、華東師范大學(xué)、武漢大學(xué)、南方科技大學(xué)、上海交通大學(xué)等多位知名高校學(xué)者及企業(yè)專家。

　　國防科技大學(xué)教授李?yuàn)檴?/p>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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