期刊
2016 IEEE/ACM 38TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE)
卷 -, 期 -, 页码 559-570出版社
IEEE
DOI: 10.1145/2884781.2884853
关键词
Android; Software Testing; Input Generation
资金
- National Science Foundation [CCF-1252644]
- Defense Advanced Research Projects Agency [D11AP00282]
- Army Research Office [W911NF-09-1-0273]
- Department of Homeland Security [HSHQDC-14-C-B0040]
- Air Force Office of Scientific Research [FA95501610030]
- U.S. Department of Defense (DOD) [FA95501610030] Funding Source: U.S. Department of Defense (DOD)
The rising popularity of Android and the GUI-driven nature of its apps have motivated the need for applicable automated GUI testing techniques. Although exhaustive testing of all possible combinations is the ideal upper bound in combinatorial testing, it is often infeasible, due to the combinatorial explosion of test cases. This paper presents TrimDroid, a framework for GUI testing of Android apps that uses a novel strategy to generate tests in a combinatorial, yet scalable, fashion. It is backed with automated program analysis and formally rigorous test generation engines. TrimDroid relies on program analysis to extract formal specifications. These specifications express the app's behavior (i.e., control flow between the various app screens) as well as the GUI elements and their dependencies. The dependencies among the GUI elements comprising the app are used to reduce the number of combinations with the help of a solver. Our experiments have corroborated TrimDroid's ability to achieve a comparable coverage as that possible under exhaustive GUI testing using significantly fewer test cases.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据