CHECKERDROID : Automated Quality Assurance for Smartphone Applications
    Download PDF
Yepang Liu,Chang Xu,S.C. Cheung,Wenhua Yang. CHECKERDROID : Automated Quality Assurance for Smartphone Applications. International Journal of Software and Informatics, 2014,8(1):21~41
Hits: 1439
Download times: 1141
Fund:This research was partially funded by Research Grants Council (General Research Fund 611813) of Hong Kong, and by National High-Tech Research & Development Program (863 program 2012AA011205), and National Natural Science Foundation (61472174, 91318301, 61321491, 61361120097) of China.
Abstract:Smartphone applications' quality is vital. However, many smartphone applications on market suffer from various bugs. One major reason is that developers lack viable techniques to help expose potential bugs in their applications. This paper presents a practical dynamic analysis tool, CheckerDroid, to help developers automatically detect both functional and non-functional bugs in their Android applications. CheckerDroid currently supports the detection of the following three types of bugs: null pointer exception, resource leak and sensor listener misusage. We built CheckerDroid by extending Java PathFinder (JPF), a widely-used model checker for general Java programs. Our extension addresses two technical challenges. First, Android applications are event-driven and lack explicit control flow information between event handlers. Second, Android applications closely hinge on native framework libraries, whose implementations are platform-dependent. To address these challenges, we derive event handler scheduling policies from Android documentations, and encode them to guide CheckerDroid to realistically execute Android applications. Besides, we modeled the side effects for a critical set of Android APIs such that CheckerDroid can conduct bug detection precisely. To evaluate CheckerDroid, we conducted experiments with seven popular real-world Android applications. CheckerDroid analyzed these applications in a few minutes, and successfully located real bugs in them.
keywords:smartphone applications  quality assurance  functional bugs  energy bugs
View Full Text  View/Add Comment  Download reader

 

 

more>>  
Visitor:1764024
Top Paper  |  FAQ  |  Guest Editors  |  Email Alert  |  Links  |  Copyright  |  Contact Us

© Copyright by Institute of Software, the Chinese Academy of Sciences
ICP: Jing ICP Bei No.10016592

京公网安备 11040202500065号