•   When: Thursday, June 02, 2016 from 10:30 AM to 12:30 PM
•   Speakers: Nariman Mirzaei
•   Location: Nguyen Engineering, Room 4801
•   Export to iCal

Abstract

The rising popularity of Android and the GUI-driven nature of its apps have motivated the need for applicable automated testing techniques. This dissertation describes two automatic techniques for generating inputs for testing Android applications, SIG-Droid and TrimDroid. Both presented techniques employ a model-based approach to capture the event-driven nature of Android applications into two inferred models: Interface Model and Activity Transition Model. The Interface Model is used to find values that an app can receive through its interfaces. The Activity Transition Model is used to generate sequences of events that resemble user interactions with the app. SIG-Droid uses symbolic execution for obtaining test inputs that ensure covering each reachable branch in the program, while TrimDroid focuses on reducing the combinatorics (i.e. dealing with combinatorial explosion of test cases) in combinatorial testing of Android apps. TrimDroid relies on program analysis to extract formal specifications that express the dependencies between the GUI elements. The dependencies among the GUI elements comprising the app are used to reduce the number of combinations with the help of a solver. Evaluation results corroborate the effectiveness and efficiency of SIG-Droid and TrimDroid.