Automated Testing with Targeted Event Sequence Generation

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Automated software testing aims to detect errors by producing test inputs that cover as much of the application source code as possible. Applications for mobile devices are typically event-driven, which raises the challenge of automatically producing event sequences that result in high coverage. Some existing approaches use random or model-based testing that largely treats the application as a black box. Other approaches use symbolic execution, either starting from the entry points of the applications or on specific event sequences. A common limitation of the existing approaches is that they often fail to reach the parts of the application code that require more complex event sequences.

We propose a two-phase technique for automatically finding event sequences that reach a given target line in the application code. The first phase performs concolic execution to build summaries of the individual event handlers of the application. The second phase builds event sequences backward from the target, using the summaries together with a UI model of the application. Our experiments on a collection of open source Android applications show that this technique can successfully produce event sequences that reach challenging targets.
Original languageEnglish
Title of host publicationInternational Symposium on Software Testing and Analysis (ISSTA), 2013 : Proceedings
EditorsMauro Pezzè, Mark Harman
Number of pages11
PublisherAssociation for Computing Machinery
Publication year2013
Pages 67-77
ISBN (print)978-1-4503-2159-4
Publication statusPublished - 2013
EventInternational Symposium on Software Testing and Analysis - Lugano, Switzerland
Duration: 16 Jul 201318 Jul 2013


ConferenceInternational Symposium on Software Testing and Analysis

See relations at Aarhus University Citationformats

ID: 62716903