TY - GEN
T1 - HapTest
T2 - 33rd ACM International Conference on the Foundations of Software Engineering, FSE Companion 2025
AU - Liu, Farong
AU - Zhou, Mingyi
AU - Zhang, Yakun
AU - Su, Ting
AU - Sun, Bo
AU - Klein, Jacques
AU - Gao, Xiang
AU - Li, Li
N1 - Publisher Copyright:
© 2025 Copyright held by the owner/author(s).
PY - 2025/7/28
Y1 - 2025/7/28
N2 - 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.
AB - 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.
KW - ArkTS
KW - Automated Testing
KW - Dynamic Analysis
KW - GUI Testing
KW - Mobile Application Testing
KW - OpenHarmony
UR - https://www.scopus.com/pages/publications/105013964583
U2 - 10.1145/3696630.3728565
DO - 10.1145/3696630.3728565
M3 - 会议稿件
AN - SCOPUS:105013964583
T3 - Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering
SP - 422
EP - 431
BT - FSE Companion 2025 - Companion Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering
A2 - Li, Jingyue
PB - Association for Computing Machinery
Y2 - 23 June 2025 through 27 June 2025
ER -