演講嘉賓 | 黎 立

回顧整理 | 廖 濤

排版校對(duì) | 宋夕明

嘉賓介紹

OpenHarmony技術(shù)俱樂(lè)部分論壇

黎立，北京航天航天大學(xué)OpenHarmony技術(shù)俱樂(lè)部主任，北京航天航天大學(xué)教授，IEEE TCSE新星獎(jiǎng)、ACM北京新星獎(jiǎng)獲得者，曾被評(píng)為全球前三最具影響力的青年軟件工程研究人員。研究興趣為智能程序分析與移動(dòng)軟件工程。

正文內(nèi)容

隨著萬(wàn)物智聯(lián)時(shí)代的到來(lái)，OpenHarmony作為一個(gè)開(kāi)源的智能終端設(shè)備操作系統(tǒng)的框架和平臺(tái)，將會(huì)遇到哪些機(jī)遇和挑戰(zhàn)？北京航空航天大學(xué)教授、OpenHarmony技術(shù)俱樂(lè)部主任黎立在第二屆OpenHarmony技術(shù)大會(huì)上帶來(lái)了精彩分享。

隨著移動(dòng)互聯(lián)網(wǎng)的快速發(fā)展，移動(dòng)應(yīng)用程序的需求也越來(lái)越多元。雖然現(xiàn)有的Android、iOS等移動(dòng)平臺(tái)擁有龐大的生態(tài)系統(tǒng)來(lái)支持其發(fā)展，但無(wú)法原生地滿足各方日益增長(zhǎng)的使用需求和管理需求。OpenHarmony作為一個(gè)新型移動(dòng)平臺(tái)，其開(kāi)源性質(zhì)和靈活性使其成為了移動(dòng)開(kāi)發(fā)人員的新寵。軟件工程是一門(mén)研究用工程化方法構(gòu)建和維護(hù)有效、實(shí)用和高質(zhì)量的軟件的學(xué)科，通過(guò)軟件工程研究，能夠幫助研究者和開(kāi)發(fā)人員更好地了解和利用OpenHarmony平臺(tái)。

移動(dòng)軟件工程洞察

Android和iOS擁有龐大且成熟的生態(tài)，基于Android/iOS進(jìn)行移動(dòng)軟件工程洞察對(duì)OpenHarmony的未來(lái)研究發(fā)展方向具有一定指導(dǎo)意義。僅Android相關(guān)的論文已超過(guò)7000篇，如何從數(shù)量龐大的論文中篩選出僅適用于洞察移動(dòng)軟件工程領(lǐng)域的調(diào)研報(bào)告？可以采用Systematic Literature Review調(diào)研方法。

Systematic Literature Review是一種系統(tǒng)性的檢索、收集并總結(jié)一個(gè)特定研究領(lǐng)域的調(diào)研方法，其主要步驟為：

1. 識(shí)別研究問(wèn)題（定目標(biāo)） 2. 識(shí)別關(guān)鍵詞（與研究?jī)?nèi)容息息相關(guān)） 3. 論文檢索（主流論文數(shù)據(jù)庫(kù)） 4. 論文去噪（僅保留真正相關(guān)的論文） 5. 滾雪球方式找到更多相關(guān)論文 6. 讀論文并提取數(shù)據(jù) 7. 數(shù)據(jù)表示及報(bào)告撰寫(xiě)

基于該方法，作者本人及其所在團(tuán)隊(duì)從Android/iOS相關(guān)的海量論文中篩選出了39篇關(guān)鍵Android/iOS論文進(jìn)行洞察。

從上述39篇移動(dòng)軟件工程論文中，作者本人及其所在團(tuán)隊(duì)歸納總結(jié)出了：

一、Android/iOS生態(tài)系統(tǒng)內(nèi)急需要解決的問(wèn)題：開(kāi)發(fā)者在軟件工程中扮演著核心角色，他們影響了軟件開(kāi)發(fā)過(guò)程的每一個(gè)環(huán)節(jié)。比如，開(kāi)發(fā)人員會(huì)基于Android/IOS框架開(kāi)發(fā)各類(lèi)應(yīng)用，向應(yīng)用商店發(fā)布移動(dòng)應(yīng)用程序，提供提三方庫(kù)來(lái)為開(kāi)源社區(qū)做貢獻(xiàn)，遇到問(wèn)題時(shí)會(huì)求助于問(wèn)答網(wǎng)站（如Stack Overflow）以尋找解決方案，在代碼托管網(wǎng)站上對(duì)源碼進(jìn)行管理。此外，目前軟件工程領(lǐng)域最受關(guān)注的研究熱點(diǎn)問(wèn)題主要分為九個(gè)類(lèi)別，包括應(yīng)用程序開(kāi)發(fā)、應(yīng)用程序部署、用戶體驗(yàn)、安全和隱私、質(zhì)量、可靠性、性能、能源以及社會(huì)技術(shù)問(wèn)題。

二、Android/iOS生態(tài)系統(tǒng)內(nèi)解決軟件工程問(wèn)題所用到的技術(shù)類(lèi)型：現(xiàn)有的軟件工程技術(shù)可以被分為靜態(tài)分析、動(dòng)態(tài)分析和基于機(jī)器學(xué)習(xí)的方法：

靜態(tài)分析：在不執(zhí)行程序的情況下進(jìn)行的程序分析。靜態(tài)分析已經(jīng)被廣泛應(yīng)用于移動(dòng)應(yīng)用程序來(lái)解決軟件工程問(wèn)題，例如污點(diǎn)分析、符號(hào)執(zhí)行、代碼插樁、模型檢查常常被用于檢測(cè)應(yīng)用程序錯(cuò)誤，包括功能錯(cuò)誤、代碼異味、安全漏洞/弱點(diǎn)、能源和性能錯(cuò)誤、權(quán)限提升等。

動(dòng)態(tài)分析：通過(guò)動(dòng)態(tài)執(zhí)行來(lái)測(cè)試程序。廣泛使用的動(dòng)態(tài)測(cè)試技術(shù)包括基于搜索的測(cè)試、黑盒/隨機(jī)測(cè)試、灰盒模糊測(cè)試、合同執(zhí)行、事件驅(qū)動(dòng)的測(cè)試生成、突變測(cè)試等。動(dòng)態(tài)分析常用于程序安全性分析（例如動(dòng)態(tài)污點(diǎn)分析和運(yùn)行時(shí)監(jiān)控）和自動(dòng)化程序修復(fù)。

基于機(jī)器學(xué)習(xí)的方法：通過(guò)從大型程序中提取特征來(lái)訓(xùn)練模型，并在代碼分析領(lǐng)域取得了顯著的成功。基于機(jī)器學(xué)習(xí)的技術(shù)已經(jīng)應(yīng)用于解決許多移動(dòng)軟件工程任務(wù)，包括漏洞檢測(cè)、隱私問(wèn)題檢測(cè)、程序測(cè)試、代碼異味檢查，防范Android惡意軟件攻擊等。

OpenHarmony現(xiàn)狀

目前，OpenHarmony還處于起步階段，應(yīng)用數(shù)量和三方庫(kù)數(shù)量較少，需要加強(qiáng)拓展。截止到2023年11月，OpenHarmony開(kāi)源倉(cāng)庫(kù)中僅能檢索到174應(yīng)用，OHPM中心倉(cāng)庫(kù)中僅能檢索到135三方庫(kù)。此外，OpenHarmony框架正快速演化，針對(duì)可能引入的兼容性問(wèn)題，需設(shè)計(jì)更好的架構(gòu)從源頭解決。

OpenHarmony的機(jī)遇與挑戰(zhàn)

在移動(dòng)軟件工程洞察以及OpenHarmony現(xiàn)狀分析的基礎(chǔ)上，作者本人及其所在團(tuán)隊(duì)總結(jié)了Android/iOS與OpenHarmony之間的研究差距，并提出了以下OpenHarmony未來(lái)的發(fā)展方向和機(jī)會(huì)點(diǎn)：

開(kāi)發(fā)側(cè)需更多關(guān)注：傳統(tǒng)移動(dòng)生態(tài)，大量研究工作發(fā)生在應(yīng)用開(kāi)發(fā)之后，而OH生態(tài)剛起步，在支持應(yīng)用高效開(kāi)發(fā)方面也有強(qiáng)烈述求；

框架集成新特性：原生智能、一端開(kāi)發(fā)多端部署；

OpenHarmony獨(dú)特新機(jī)會(huì)：如支持基于大模型的高效應(yīng)用開(kāi)發(fā)、支持跨平臺(tái)應(yīng)用開(kāi)發(fā)、利用大量成熟生態(tài)數(shù)據(jù)積累的數(shù)據(jù)，比如實(shí)現(xiàn)Android應(yīng)用（或部分功能，或UI）到OpenHarmony應(yīng)用的自動(dòng)轉(zhuǎn)換等。

此外，作者本人也提出了面向萬(wàn)物智聯(lián)時(shí)代OpenHarmony發(fā)展所可能遇到的挑戰(zhàn)，如：

數(shù)據(jù)有限，難以支持大模型做精調(diào)；

三方庫(kù)有限，難以支持高效、高質(zhì)量應(yīng)用開(kāi)發(fā)；

三方庫(kù)OpenHarmony化：如何做到持續(xù)演進(jìn)；

系統(tǒng)挑戰(zhàn)：全新的系統(tǒng)設(shè)計(jì)帶來(lái)新的挑戰(zhàn)；

交互界面挑戰(zhàn)：交互、事件一直是圖形化應(yīng)用分析的難點(diǎn)；

語(yǔ)言挑戰(zhàn)：ArkTS為全新的應(yīng)用編程語(yǔ)言，目前業(yè)界還沒(méi)有相應(yīng)的程序分析基礎(chǔ)框架。

OpenHarmony作為一個(gè)終端操作系統(tǒng)領(lǐng)域冉冉升起的新星，正在飛速發(fā)展，茁壯成長(zhǎng)。希望更多的研究者加入OpenHarmony研究，站在巨人的肩膀上，使OpenHarmony生態(tài)系統(tǒng)繁榮起來(lái)！

近日，北京航空航天大學(xué)聯(lián)合四大洲11個(gè)大學(xué)的學(xué)者近日共同發(fā)布了題為《OpenHarmony軟件工程研究路線圖》的論文，更多詳情可參閱：OpenHarmony生態(tài)如何建？北航牽頭發(fā)布《面向OpenHarmony的軟件工程研究路線圖》