Paper published in a book (Scientific congresses, symposiums and conference proceedings)
HapTest: The Dynamic Analysis Framework for OpenHarmony
Liu, Farong; Zhou, Mingyi; Zhang, Yakun et al.
2025In Li, Jingyue (Ed.) FSE Companion 2025 - Companion Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering
Peer reviewed
 

Files


Full Text
2025-FSE-Industry2025-HapTest.pdf
Author preprint (1.46 MB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
ArkTS; Automated Testing; Dynamic Analysis; GUI Testing; Mobile Application Testing; OpenHarmony; Analysis frameworks; Automated testing; Dynamics analysis; GUI testing; Mobile application testing; Mobile operating systems; Openharmony; Performance issues; Program applications; Software
Abstract :
[en] ArkTS is a new programming language dedicated to developing applications (apps) for the emerging OpenHarmony mobile operating system. Like other programs, apps developed with ArkTS suffer from bugs, leading to, e.g., crashes, or performance and security issues. Our community usually uses dynamic analysis to analyze the app’s behavior and detect bugs. Unfortunately, a framework tailored for OpenHarmony apps dynamic analysis is not yet available for the developer community. To bridge this gap, we propose a new dynamic analysis framework named HapTest, which has been specifically designed to cope with OpenHarmony apps’ original features. We make HapTest publicly available as an open-source project. Our HapTest has several fundamental dynamic analysis features (e.g., PTG, DataHub, etc.) that are ready to be reused by developers, and further customized to enable specific dynamic analysis, for instance, to detect malware or performance issues. Experiment results show that our HapTest achieves both high analysis coverage and high effectiveness. In addition, our HapTest is evaluated on the top 20 popular commercial apps from the OpenHarmony app market, each with at least millions of downloads. Our testing method revealed 26 previously unreported crashes in 11 out of the 20 applications, which demonstrates the practicality of HapTest.
Disciplines :
Computer science
Author, co-author :
Liu, Farong ;  Beihang University, China
Zhou, Mingyi ;  Beihang University, China
Zhang, Yakun ;  Peking University, China
Su, Ting ;  East China Normal University, China
Sun, Bo ;  Huawei, China
KLEIN, Jacques  ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > TruX
Gao, Xiang ;  Beihang University, China
Li, Li ;  Beihang University, China
External co-authors :
yes
Language :
English
Title :
HapTest: The Dynamic Analysis Framework for OpenHarmony
Publication date :
28 July 2025
Event name :
Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering
Event place :
Trondheim, Norway
Event date :
23-06-2025 => 27-06-2025
Audience :
International
Main work title :
FSE Companion 2025 - Companion Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering
Editor :
Li, Jingyue
Publisher :
Association for Computing Machinery
ISBN/EAN :
9798400712760
Peer reviewed :
Peer reviewed
Funders :
ACM SIGSOFT
ByteDance
et al.
Huawei
Research Council of Norway
U.S. National Science Foundation
Funding text :
This work is partially supported by the National Key Research and Development Program of China (No. 2024YFB4506300).
Available on ORBilu :
since 25 November 2025

Statistics


Number of views
19 (0 by Unilu)
Number of downloads
23 (0 by Unilu)

Scopus citations®
 
0
Scopus citations®
without self-citations
0
OpenCitations
 
0
OpenAlex citations
 
0

Bibliography


Similar publications



Contact ORBilu