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

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

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

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

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

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

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

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

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

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