OpenAtom OpenHarmony(以下簡稱OpenHarmony)生態(tài)的繁榮,需要構(gòu)建服務(wù)于千行萬業(yè)的應(yīng)用生態(tài),提供高效的應(yīng)用開發(fā)工程技術(shù)和完備的軟件工程能力成為推動(dòng)OpenHarmony應(yīng)用生態(tài)高效、低成本可持續(xù)發(fā)展的關(guān)鍵因素。2024年10月12日下午第三屆OpenHarmony技術(shù)大會(huì)應(yīng)用開發(fā)工程技術(shù)分論壇在上海成功舉行。該分論壇圍繞前沿的應(yīng)用開發(fā)技術(shù)與移動(dòng)軟件工程能力,在人機(jī)物融合的智能系統(tǒng)及應(yīng)用新形態(tài)、應(yīng)用業(yè)務(wù)邏輯分析和安全檢測技術(shù)、開發(fā)者自動(dòng)化測試、Qt/Flutter框架新技術(shù)、大型應(yīng)用構(gòu)建和持續(xù)集成能力等議題展開深入探討與經(jīng)驗(yàn)分享。
OpenHarmony應(yīng)用開發(fā)工程技術(shù)TSG主任任晗;北京航空航天大學(xué)教授、博士生導(dǎo)師史曉華作為應(yīng)用開發(fā)工程技術(shù)分論壇出品人出席本次活動(dòng)。復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院副院長、教授彭鑫;中國科學(xué)院計(jì)算技術(shù)研究所研究員李煉;華東師范大學(xué)教授蘇亭;復(fù)旦大學(xué)青年副研究員張曉寒;Qt資深方案工程師雒少華;華為高級技術(shù)專家邵甜鴿;華為技術(shù)專家武超;深圳開鴻數(shù)字產(chǎn)業(yè)發(fā)展有限公司架構(gòu)設(shè)計(jì)工程師丁力出席本論壇并發(fā)表演講。OpenHarmony應(yīng)用開發(fā)工程技術(shù)TSG主任任晗主持了整場會(huì)議。
(OpenHarmony應(yīng)用開發(fā)工程技術(shù)TSG主任任晗主持會(huì)議)
復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院副院長、教授彭鑫以《軟件定義的人機(jī)物融合智能化系統(tǒng)及應(yīng)用》為主題發(fā)表演講。他對軟件定義的人機(jī)物融合智能系統(tǒng)的相關(guān)思想、發(fā)展現(xiàn)狀和底層邏輯進(jìn)行了闡釋和分析,并介紹了團(tuán)隊(duì)在云邊融合的運(yùn)行支撐系統(tǒng)、人機(jī)物資源的軟件定義方法及應(yīng)用構(gòu)造方法等方面進(jìn)行的一些初步探索。據(jù)介紹,軟件定義的人機(jī)物融合智能化系統(tǒng)將云計(jì)算和云原生的思想拓展到智慧園區(qū)、智慧大樓、智能家居、智能網(wǎng)聯(lián)汽車等社會(huì)物理空間,以軟件定義的方式實(shí)現(xiàn)人機(jī)物資源的編程抽象和平臺化管理,支持系統(tǒng)的快速迭代和持續(xù)演化,同時(shí)支持基于低代碼開發(fā)及自然語言編程的人機(jī)物融合應(yīng)用構(gòu)造,從而可以更好地實(shí)現(xiàn)以用戶為中心的人機(jī)物融合應(yīng)用執(zhí)行與服務(wù)提供。OpenHarmony面向萬物互聯(lián)的智能化應(yīng)用場景為開發(fā)者提供了一次開發(fā)多端部署、 分布式軟總線、分布式數(shù)據(jù)服務(wù)、應(yīng)用自由流轉(zhuǎn)的平臺能力,可以為建立面向人機(jī)物融合用應(yīng)用的“開發(fā)運(yùn)維一體化”目標(biāo)提供支撐。
(復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院副院長、教授彭鑫發(fā)言)
中國科學(xué)院計(jì)算技術(shù)研究所研究員李煉聚焦高層語義的自適應(yīng)分析方法與工具展開分享。應(yīng)用層的大部分安全性問題以及性能和功能問題都需要深入理解高層的應(yīng)用邏輯語義。但這些高層語義和應(yīng)用具體實(shí)現(xiàn)密切相關(guān),往往無法進(jìn)行通用的定義。那么如何通過自動(dòng)或半自動(dòng)的方法推斷高層應(yīng)用語義,以及嚴(yán)格表述這些語義信息?如何實(shí)現(xiàn)高效且易于擴(kuò)展的高層語義分析工具?針對上述問題,李煉提出可以通過聲明式方法定義高層語義,并擴(kuò)展現(xiàn)有工具以自動(dòng)檢測自定義語義,從而兼顧可擴(kuò)展性、效率和精度展開討論。他指出,通過自動(dòng)或半自動(dòng)高層語義推斷以及自適應(yīng)分析方法與工具,可以解決靈活多變的應(yīng)用層邏輯問題。
(中國科學(xué)院計(jì)算技術(shù)研究所研究員李煉發(fā)言)
華東師范大學(xué)教授蘇亭分享了面向OpenHarmony應(yīng)用的開發(fā)者自動(dòng)化測試技術(shù)新范式。蘇亭指出,保障OpenHarmony應(yīng)用穩(wěn)定和正確運(yùn)行是OpenHarmony生態(tài)發(fā)展的重要目標(biāo)。然而,與其他現(xiàn)有移動(dòng)平臺應(yīng)用(如安卓、iOS等)相比,OpenHarmony應(yīng)用在編程語言、開發(fā)特性、架構(gòu)設(shè)計(jì)等方面有著顯著的不同,這為設(shè)計(jì)和構(gòu)建OpenHarmony應(yīng)用自動(dòng)化測試技術(shù)帶來了挑戰(zhàn)。鑒于此,蘇亭教授介紹了其所帶領(lǐng)的研究小組在OpenHarmony應(yīng)用自動(dòng)化測試方面的探索和工程化實(shí)踐,并介紹了基于代碼功能地圖的OpenHarmony應(yīng)用增強(qiáng)遍歷測試技術(shù)和基于性質(zhì)的OpenHarmony應(yīng)用異常測試技術(shù)。
(華東師范大學(xué)教授蘇亭發(fā)言)
“安全不是選項(xiàng),而是必需”,復(fù)旦大學(xué)青年副研究員張曉寒在《移動(dòng)應(yīng)用業(yè)務(wù)安全研究與生態(tài)治理》的演講中強(qiáng)調(diào)。本次論壇他帶來了在移動(dòng)應(yīng)用業(yè)務(wù)安全方面開展的相關(guān)研究與實(shí)踐成果,并與與會(huì)者共同探討了基于移動(dòng)應(yīng)用逆向、程序分析、深度學(xué)習(xí)與大模型等技術(shù)形成的一套應(yīng)用業(yè)務(wù)安全分析思路和方法。同時(shí),張曉寒重點(diǎn)分享了團(tuán)隊(duì)在移動(dòng)應(yīng)用認(rèn)證安全、端側(cè)風(fēng)控、應(yīng)用行為理解、敏感行為感知等方面進(jìn)行的學(xué)術(shù)探索,匯報(bào)了在漏洞挖掘與治理、應(yīng)用生態(tài)治理等方面進(jìn)行的嘗試和實(shí)踐。他的相關(guān)研究曾獲華為優(yōu)秀技術(shù)成果獎(jiǎng)、CNVD最具價(jià)值漏洞等榮譽(yù)。
(復(fù)旦大學(xué)青年副研究員張曉寒發(fā)言)
Qt資深方案工程師雒少華在本次論壇中以《Qt攜手OpenHarmony:共創(chuàng)軟件新生態(tài)的適配之旅》為主題,深入剖析Qt框架如何高效適配OpenHarmony操作系統(tǒng),展現(xiàn)其在軟件生態(tài)構(gòu)建中的關(guān)鍵角色;探討Qt跨平臺技術(shù)的獨(dú)特優(yōu)勢,在OpenHarmony環(huán)境下的應(yīng)用創(chuàng)新,以及如何促進(jìn)開發(fā)者快速遷移,加速軟件生態(tài)的繁榮。雒少華展望道:“在OpenHarmony的沃土上,Qt綻放新生,共繪軟件生態(tài)的宏偉藍(lán)圖!
(Qt資深方案工程師雒少華發(fā)言)
Flutter作為今年來流行的跨平臺開發(fā)框架,在全球范圍內(nèi)獲得了廣泛的應(yīng)用和認(rèn)可。OpenHarmony系統(tǒng)如果能成功融入 Flutter 生態(tài)系統(tǒng),將會(huì)對OpenHarmony生態(tài)產(chǎn)生深遠(yuǎn)影響。會(huì)有什么影響呢?華為技術(shù)專家邵甜鴿對此給予了解答。邵甜鴿認(rèn)為:Flutter 的跨平臺能力可以極大減少伙伴的開發(fā)和維護(hù)成本,且可以使應(yīng)用快速遷移到OpenHarmony平臺,迅速豐富OpenHarmony應(yīng)用生態(tài)。Flutter的自渲染引擎可以有效保證在不同平臺上的一致性用戶體驗(yàn),通過優(yōu)化 Flutter 在OpenHarmony系統(tǒng)上的性能,進(jìn)一步實(shí)現(xiàn)極致流暢的用戶體驗(yàn)。Flutter 的廣泛使用和社區(qū)支持吸引了更多的開發(fā)者加入OpenHarmony生態(tài),其豐富的共享資源和插件可以提高開發(fā)效率,幫助OpenHarmony快速建立起應(yīng)用生態(tài),提升競爭力。
(華為高級技術(shù)專家邵甜鴿發(fā)言)
華為技術(shù)專家武超在本次演講中分享了OpenHarmony大型工程的依賴管理與多產(chǎn)物構(gòu)建的經(jīng)驗(yàn)。為與會(huì)者介紹OpenHarmony系統(tǒng)依賴管理的幾種最常見模式和相應(yīng)的技術(shù),講解構(gòu)建系統(tǒng)的幾個(gè)核心概念和頂層的領(lǐng)域模型,并分享了OpenHarmony系統(tǒng)上的多產(chǎn)品、多環(huán)境、多設(shè)備的多目標(biāo)構(gòu)建工程能力。
(華為技術(shù)專家武超發(fā)言)
會(huì)議最后,深圳開鴻數(shù)字產(chǎn)業(yè)發(fā)展有限公司架構(gòu)設(shè)計(jì)工程師丁力以《OpenHarmony應(yīng)用開發(fā)持續(xù)集成工程能力構(gòu)建》為主題做了報(bào)告分享。他指出,持續(xù)集成構(gòu)建、gerrit管控代碼、代碼門禁集成增量編譯、靜態(tài)檢查、單元測試等多種管控措施,是全力構(gòu)筑好版本質(zhì)量管控的首道防線。丁力分別從持續(xù)集成工具鏈的整體架構(gòu)和流程架構(gòu)兩個(gè)方面,介紹了深開鴻軟件工程團(tuán)隊(duì)在此方面的實(shí)踐探索,并著重分享了OpenHarmony應(yīng)用開發(fā)從編譯構(gòu)建、代碼檢查、到功能測試的持續(xù)集成能力關(guān)鍵技術(shù)。
(深圳開鴻數(shù)字產(chǎn)業(yè)發(fā)展有限公司架構(gòu)設(shè)計(jì)工程師丁力發(fā)言)
應(yīng)用開發(fā)工程技術(shù)分論壇通過實(shí)際案例和技術(shù)分享,旨在幫助開發(fā)者在OpenHarmony生態(tài)中找到最優(yōu)的工程方案。OpenHarmony項(xiàng)目技術(shù)指導(dǎo)委員會(huì)應(yīng)用開發(fā)工程技術(shù)TSG致力于構(gòu)建一個(gè)開放且前瞻性的應(yīng)用工程技術(shù)交流平臺,為開發(fā)者提供從工程指導(dǎo)到模板應(yīng)用的全方位支持,推動(dòng)高質(zhì)量OpenHarmony應(yīng)用的開發(fā)與生態(tài)建設(shè)。通過共同探索和實(shí)踐,打造一個(gè)高效、安全、高質(zhì)量的OpenHarmony應(yīng)用開發(fā)平臺。