Mason Archival Repository Service

Automated Input Generation Techniques for Testing Android Applications

Show simple item record

dc.contributor.advisor Malek, Sam
dc.contributor.author Mirzaei Alvari, Nariman Mirzaei
dc.creator Mirzaei Alvari, Nariman Mirzaei
dc.date.accessioned 2016-09-28T10:23:54Z
dc.date.available 2016-09-28T10:23:54Z
dc.date.issued 2016
dc.identifier.uri https://hdl.handle.net/1920/10482
dc.description.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 pro- gram 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. All conducted experiments corroborate the effectiveness and efficiency of SIG-Droid and TrimDroid.
dc.format.extent 119 pages
dc.language.iso en
dc.rights Copyright 2016 Nariman Mirzaei Mirzaei Alvari
dc.subject Computer science en_US
dc.subject Android en_US
dc.subject Combinatorial Testing en_US
dc.subject Input Generation en_US
dc.subject Software Engineering en_US
dc.subject Software Testing en_US
dc.subject Symbolic Execution en_US
dc.title Automated Input Generation Techniques for Testing Android Applications
dc.type Dissertation
thesis.degree.level Ph.D.
thesis.degree.discipline Computer Science
thesis.degree.grantor George Mason University


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search MARS


Browse

My Account

Statistics