NDLI: SIG-Droid: Automated system input generation for Android applications

Content Provider	IEEE Xplore Digital Library
Author	Mirzaei, N. Bagheri, H. Mahmood, R. Malek, S.
Copyright Year	2015
Abstract	Pervasiveness of smartphones and the vast number of corresponding apps have underlined the need for applicable automated software testing techniques. A wealth of research has been focused on either unit or GUI testing of smartphone apps, but little on automated support for end-to-end system testing. This paper presents SIG-Droid, a framework for system testing of Android apps, backed with automated program analysis to extract app models and symbolic execution of source code guided by such models for obtaining test inputs that ensure covering each reachable branch in the program. SIG-Droid leverages two automatically extracted models: Interface Model and Behavior Model. The Interface Model is used to find values that an app can receive through its interfaces. Those values are then exchanged with symbolic values to deal with constraints with the help of a symbolic execution engine. The Behavior Model is used to drive the apps for symbolic execution and generate sequences of events. We provide an efficient implementation of SIG-Droid based in part on Symbolic PathFinder, extended in this work to support automatic testing of Android apps. Our experiments show SIG-Droid is able to achieve significantly higher code coverage than existing automated testing tools targeted for Android.
Starting Page	461
Ending Page	471
File Size	692572
Page Count	11
File Format	PDF
e-ISBN	9781509004065
DOI	10.1109/ISSRE.2015.7381839
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2015-11-02
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Androids Humanoid robots Smart phones Testing Java Engines Graphical user interfaces Input Generation Android Automated Testing
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Automated Pattern-Based Testing of Mobile Applications

Capture-Replay Testing for Android Applications

Android framework for web-based digital TV applications: A proposal and analyses

Systematic testing for resource leaks in Android applications

A Framework for Automated Security Testing of Android Applications on the Cloud

A toolset for GUI testing of Android applications

Automatic Android GUI Traversal with High Coverage

Experiences of System-Level Model-Based GUI Testing of an Android Application

Automated Test Input Generation for Android: Are We There Yet? (E)

SIG-Droid: Automated system input generation for Android applications

Similar Documents

Automated Pattern-Based Testing of Mobile Applications

Capture-Replay Testing for Android Applications

Android framework for web-based digital TV applications: A proposal and analyses

Systematic testing for resource leaks in Android applications

A Framework for Automated Security Testing of Android Applications on the Cloud

A toolset for GUI testing of Android applications

Automatic Android GUI Traversal with High Coverage

Experiences of System-Level Model-Based GUI Testing of an Android Application

Automated Test Input Generation for Android: Are We There Yet? (E)

SIG-Droid: Automated system input generation for Android applications