5月24日，開源鴻蒙開發(fā)者大會2025（OHDC.2025）工程工具分論壇在深圳圓滿舉辦。本次分論壇由開源鴻蒙IDE SIG組長、華為終端BG工程工具技術(shù)專家唐春擔(dān)任出品人，主題為“開源鴻蒙應(yīng)用開發(fā)新范式下的軟件工程技術(shù)和工程工具的創(chuàng)新與實踐”。

工程工具分論壇共有7個議題，分別邀請了學(xué)術(shù)界和企業(yè)界的7位主講嘉賓做了精彩分享，涵蓋內(nèi)容包括軟件測試、程序分析、GUI智能體、AI輔助開發(fā)、游戲應(yīng)用調(diào)優(yōu)、軟件工程和工具創(chuàng)新規(guī)劃等，通過結(jié)合學(xué)術(shù)界的創(chuàng)造性研究和企業(yè)界的創(chuàng)新實踐，為參會者打開新的視野。

工程工具分論壇圓滿舉辦

華東師范大學(xué)軟件工程學(xué)院教授蘇亭首先帶來了題為《基于性質(zhì)的GUI測試技術(shù)》演講，圍繞業(yè)界在功能測試中的痛點問題，介紹并探討了基于性質(zhì)的測試技術(shù)。在過去的十余年中，自動化UI測試技術(shù)作為一種有效的軟件錯誤檢測方法被不斷完善，并逐步應(yīng)用于業(yè)界實踐，取得了不錯的效果，尤其是在移動應(yīng)用領(lǐng)域。然而此類測試技術(shù)局限于檢測穩(wěn)定性問題，如應(yīng)用崩潰、閃退，缺乏測試斷言，很難應(yīng)用于UI軟件功能正確性測試。蘇亭在演講中提出了一種基于性質(zhì)的GUI測試技術(shù)（Property-based GUI Testing）及其對應(yīng)工具實現(xiàn)Kea2（https://github.com/ecnusse/Kea2），并探討該技術(shù)可使能的各類應(yīng)用場景，如腳本與自動化UI協(xié)同測試、場景相關(guān)的應(yīng)用檢查等，該測試技術(shù)已經(jīng)在一些國內(nèi)外頭部商業(yè)應(yīng)用中找到了百余個重要的軟件功能和隱私安全缺陷。

華東師范大學(xué)軟件工程學(xué)院教授蘇亭

上海交通大學(xué)計算機系副教授林云做《多模態(tài)需求驅(qū)動的GUI測試智能體》主題演講，探討了新范式下的GUI測試技術(shù)，介紹了如何利用視覺語言模型將手機應(yīng)用的需求轉(zhuǎn)化為界面上的操作指令。該技術(shù)主要解決以下挑戰(zhàn)：第一，如何解決豐富的控件空間引發(fā)的VLM模型幻覺問題；第二，如何利用VLM的通用知識來捕獲領(lǐng)域相關(guān)界面知識。演講以與國泰君安合作的GUIPilot項目為例，分享GUI智能體技術(shù)的價值。最后，林云展望未來，認(rèn)為以GUI測試智能體為基礎(chǔ)，可驅(qū)動需求生成、開發(fā)流程優(yōu)化，助力相關(guān)應(yīng)用生態(tài)發(fā)展。

上海交通大學(xué)計算機系副教授林云

南京大學(xué)計算機學(xué)院副教授左志強在《實時程序分析》中闡述了現(xiàn)有程序分析技術(shù)的局限性，如靜態(tài)分析因其抽象屬性一般誤報率較高，而動態(tài)分析因其有限測試空間通常具有漏報率高的缺點。針對這些問題，左志強重點介紹了一種新型可用于生產(chǎn)運行環(huán)境的高精度、高覆蓋率程序分析技術(shù)——實時程序分析（Live Program Analysis）及其在安全相關(guān)軟件缺陷檢測方面的應(yīng)用。

南京大學(xué)計算機學(xué)院副教授左志強

華為終端BG程序分析技術(shù)專家程帥站在技術(shù)與實踐相互結(jié)合的視角，分享了《程序分析技術(shù)提升應(yīng)用開發(fā)效率的實踐》，深入淺出地介紹了基于靜態(tài)分析和動態(tài)分析技術(shù)構(gòu)建的程序分析平臺，以及基于此平臺構(gòu)筑的靜態(tài)分析CodeLinter工具和動態(tài)分析應(yīng)用體檢工具的優(yōu)秀實踐。其中，圍繞用戶反饋的實際體驗和關(guān)鍵訴求，具體闡述了優(yōu)化思路和關(guān)鍵技術(shù)實現(xiàn)。最后，結(jié)合大模型技術(shù)，展望了未來程序分析技術(shù)提升應(yīng)用開發(fā)效率的可能方向和階段性探索。

華為終端BG程序分析技術(shù)專家程帥

華為終端BG性能工具技術(shù)專家牛國亮分享了《一站式游戲&圖形性能功耗調(diào)測調(diào)優(yōu)工具介紹》，詳細(xì)介紹了HiSmartPerf從游戲性能功耗測試到CPU調(diào)度、指令數(shù)、GPU的全鏈路分析能力。針對GPU渲染瓶頸，工具可以一鍵調(diào)用Graphics Profiler精準(zhǔn)診斷圖形渲染效率存在的問題，助力開發(fā)者高效優(yōu)化游戲體驗，該工具集可為游戲開發(fā)全流程提供精準(zhǔn)支持。

華為終端BG性能工具技術(shù)專家牛國亮

華為終端BG AI技術(shù)專家羅幼泉在《AI輔助編程解決方案探索與實踐》中指出，基于對開發(fā)者和應(yīng)用架構(gòu)的深入洞察，確定了當(dāng)前AI輔助編程的關(guān)鍵場景，如頁面代碼生成、邏輯代碼續(xù)寫、編譯構(gòu)建錯誤修復(fù)、難點問題定界定位。通過設(shè)定可量化衡量的關(guān)鍵指標(biāo)，定義AI輔助解決方案分層架構(gòu)，使用模型能力、RAG、MCP、A2A等關(guān)鍵技術(shù)，搭建了開放兼容的AI編程基礎(chǔ)設(shè)施，并提出了AI輔助編程的整體解決方案。

華為終端BG AI技術(shù)專家羅幼泉

最后，本論壇出品人、開源鴻蒙IDE SIG組長、華為終端BG工程工具技術(shù)專家唐春分享了題為《開發(fā)工具特性介紹及未來規(guī)劃思考》的主題演講。他表示，工程工具是軟件開發(fā)的底層基礎(chǔ)設(shè)施，是開發(fā)者生產(chǎn)力的核心。演講圍繞開發(fā)者應(yīng)用開發(fā)的全旅程如代碼編寫、編譯構(gòu)建、問題定位、性能調(diào)優(yōu)和AI輔助等展開闡述。通過案例生動地介紹了工具在提升開發(fā)者效率方面的思考，并探討了未來在AI4SE方面演進的新趨勢。

開源鴻蒙IDE SIG組長、華為終端BG工程工具技術(shù)專家唐春

本次工程工具分論壇現(xiàn)場氣氛熱烈，議題精彩紛呈，演講內(nèi)容覆蓋了技術(shù)創(chuàng)新和應(yīng)用實踐，現(xiàn)場嘉賓與觀眾積極互動，對開源鴻蒙工程工具技術(shù)進行了充分交流和展望。開源鴻蒙的生態(tài)繁榮發(fā)展離不開軟件工程技術(shù)和工程工具能力的創(chuàng)新，隨著開源鴻蒙操作系統(tǒng)能力和用戶程序框架的不斷演進、大模型與AI4SE的進一步融合，應(yīng)用的開發(fā)范式也在跟隨不斷變化。未來，期待可以為廣大開發(fā)者提供簡單易用、極致高效的開發(fā)工具，并與學(xué)術(shù)界攜手突破關(guān)鍵技術(shù)障礙，探索理論創(chuàng)新和工程實踐的有機結(jié)合，持續(xù)為開源鴻蒙開發(fā)者做出貢獻！