近日，中國科學院軟件研究所軟件工程技術研究開發中心在微信小程序缺陷理解與檢測研究方面取得進展。該研究從代碼層次全面分析微信小程序缺陷的特性，幫助開發人員理解微信小程序缺陷產生的根本原因、后果及修復策略等，提出了面向微信小程序的缺陷檢測方法及工具，將大副提高開發人員設計研發微信小程序的可靠性，對推動微信小程序缺陷檢測與測試研究起到重要作用。

　　微信小程序是一種不需要下載安裝即可在微信平臺上使用，具有原生App體驗的應用程序。微信小程序框架如下圖所示。微信小程序框架包括渲染層和邏輯層，其中渲染層負責UI的顯示，邏輯層負責業務邏輯的處理。渲染層以微信自定義的WXSS和WXML構成，邏輯層基于JavaScript。渲染層和邏輯層運行在不同的線程上，通過一種異步的事件驅動的方式來進行通訊。基于微信小程序框架，開發者可以方便使用微信平臺提供各類服務，構建面向用戶的應用，如購物、游戲等。據統計，小程序每天被超過4億用戶廣泛使用。因此，小程序的可靠性尤為關鍵。

　　基于微信小程序框架開發的微信小程序，面臨多種特有的程序缺陷，比如不同平臺對于渲染層和邏輯層的解釋引擎差異導致的兼容性缺陷、異步事件處理相關缺陷等。為了進一步理解微信小程序中的缺陷，團隊從開源Github倉庫、微信官方QA平臺、上線的真實應用三種數據渠道收集到了大量微信小程序缺陷，開展實證研究，并發現多種缺陷模式。同時，團隊基于相關缺陷模式，開發了基于靜態分析的微信小程序缺陷檢測工具WeDetector，并應用到真實微信小程序中，準確檢測到若干缺陷，并得到開發人員的確認。

　　相關成果以“Characterizing and Detecting Bugs in WeChat Mini-Programs”為題被軟件工程領域頂級會議ICSE 2022收錄。該論文第一作者為博士生汪濤，通訊作者為副研究員竇文生。該研究獲中科院前沿科學重點研究計劃項目、騰訊微信犀牛鳥專項研究計劃支持。