A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing

Paiva, Ana C. R.; Faria, João Pascoal; Tillmann, Nikolai; Vidal, Raul A. M.

doi:10.1007/11576280_31

Cited by 38 publications

(26 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…First, the user inputs the geographical location-Los Angeles-using the touchpad (seconds 0-10); notice how the compass is not used in this phase. Next, the app loads the gas station maps in the vicinity of Los Angeles and uses the compass to orient the map; notice how the user waits at this point as indicated by the absence of user events (seconds [11][12][13][14][15][16][17][18][19][20][21][22][23][24][25]. In the third phase, the map has been loaded and the user navigates on the map using pinch and zoom, indicated by the high number of touchscreen events (seconds 26-45); the compass is still used to keep the correct map orientation.…”

Section: Android Eventsmentioning

confidence: 99%

“…By capturing the GUI components themselves, they are able to refer to objects by name in their traces; however, they rely on the existence of a GUI layout in the first place, an assumption which might not hold, e.g., in the Angry Birds case. Finding appropriate object handles to use [17] can be alleviated with techniques such as GUI mapping [18] or creating unique identifiers based on the thread creating the GUI object [19]. Once a script has been created, the GUI interaction is replayed by accessing the GUI objects and updating their properties.…”

Section: A Gui Testing For Desktop Applicationsmentioning

confidence: 99%

See 1 more Smart Citation

RERAN: Timing- and touch-sensitive record and replay for Android

Gómez

Neamtiu

Azim

et al. 2013

2013 35th International Conference on Software Engineering (ICSE)

186

155

View full text Add to dashboard Cite

Abstract-Touchscreen-based devices such as smartphones and tablets are gaining popularity, but their rich input capabilities pose new development and testing complications. To alleviate this problem, we present an approach and tool named RERAN that permits record-and-replay for the Android smartphone platform. Existing GUI-level record-and-replay approaches are inadequate due to the expressiveness of the smartphone domain, in which applications support sophisticated GUI gestures, depend on inputs from a variety of sensors on the device, and have precise timing requirements among the various input events. We address these challenges by directly capturing the low-level event stream on the phone, which includes both GUI events and sensor events, and replaying it with microsecond accuracy. Moreover, RERAN does not require access to app source code, perform any app rewriting, or perform any modifications to the virtual machine or Android platform. We demonstrate RERAN's applicability in a variety of scenarios, including (a) replaying 86 out of the Top-100 Android apps on Google Play; (b) reproducing bugs in popular apps, e.g., Firefox, Facebook, Quickoffice; and (c) fast-forwarding executions. We believe that our versatile approach can help both Android developers and researchers.

show abstract

Section: Android Eventsmentioning

confidence: 99%

Section: A Gui Testing For Desktop Applicationsmentioning

confidence: 99%

RERAN: Timing- and touch-sensitive record and replay for Android

Gómez

Neamtiu

Azim

et al. 2013

2013 35th International Conference on Software Engineering (ICSE)

186

155

View full text Add to dashboard Cite

show abstract

“…A GUI mapping tool was developed in [9], where the GUI model was written in Spec# with state variables to model the state of the GUI and methods to model the user actions on the GUI. However, the effort required for the construction of Spec# GUI models was too high.…”

Section: State Of the Artmentioning

confidence: 99%

Pattern Based GUI Testing for Mobile Applications

Costa

Paiva

Nabuco

2014

2014 9th International Conference on the Quality of Information and Communications Technology

View full text Add to dashboard Cite

Abstract-This paper presents a study aiming to assess the feasibility of using the Pattern Based GUI Testing approach, PBGT, to test mobile applications. PBGT is a new model based testing approach that aims to increase systematization, reusability and diminish the effort in modelling and testing. It is based on the concept of User Interface Test Patterns (UITP) that contain generic test strategies for testing common recurrent behaviour, the so-called UI Patterns, on GUIs through its possible different implementations after a configuration step. Although PBGT was developed having web applications in mind, it is possible to develop drivers for other platforms in order to test a wide set of applications. However, web and mobile applications are different and only the development of a new driver to execute test cases over mobile applications may not be enough. This paper describes a study aiming to identify the adaptations and updates the PBGT should undergo in order to test mobile applications.

show abstract

“…Model-based techniques remain popular in many domains including the development of reliable and safe user interfaces [10,11,32]. A common approach to the modelbased testing of UI applications requires the construction of mental models of the user to characterize ways in which the interface can be used [10,11].…”

Section: Related Work and Conclusionmentioning

confidence: 99%

Model-Based Dependability Analysis of Programmable Drug Infusion Pumps

Sankaranarayanan

Homaei

Lewis

2011

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Infusion pumps are commonly used in home/hospital care to inject drugs into a patient at programmable rates over time. However, in practice, a combination of faults including software errors, mechanical failures and human error can lead to catastrophic situations, causing death or serious harm to the patient. Dependability analysis techniques such as failure mode effect analysis (FMEA) can be used to predict the worst case outcomes of such faults and facilitate the development of remedies against them. In this paper, we present the use of model-checking to automate the dependability analysis of programmable, real-time medical devices. Our approach uses timed and hybrid automata to model the real-time operation of the medical device and its interactions with the care giver and the patient. Common failure modes arising from device failures and human error are modeled in our framework. Specifically, we use "mistake models" derived from human factor studies to model the effects of mistakes committed by the operator. We present a case-study involving an infusion pump used to manage pain through the infusion of analgesic drugs. The dynamics of analgesic drugs are modeled by empirically validated pharmacokinetic models. Using model checking, our technique can systematically explore numerous combinations of failures and characterize the worse case effects of these failures.

show abstract

A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing

Cited by 38 publications

References 8 publications

RERAN: Timing- and touch-sensitive record and replay for Android

RERAN: Timing- and touch-sensitive record and replay for Android

Pattern Based GUI Testing for Mobile Applications

Model-Based Dependability Analysis of Programmable Drug Infusion Pumps

Contact Info

Product

Resources

About