Date of this Version
Vivien Chinnapongse, Insup Lee, Oleg Sokolsky, Shaohui Wang, and Paul L. Jones, "Model-Based Testing of GUI-Driven Applications", Lecture Notes in Computer Science: Software Technologies for Embedded and Ubiquitous Systems 5860, 203-214. November 2009. http://dx.doi.org/10.1007/978-3-642-10265-3_19
While thorough testing of reactive systems is essential to ensure device safety, few testing methods center on GUI-driven applications. In this paper we present one approach for the model-based testing of such systems. Using the AHLTA-Mobile case study to demonstrate our approach, we first introduce a high-level method of modeling the expected behavior of GUI-driven applications. We show how to use the NModel tool to generate test cases from this model and present a way to execute these tests within the application, highlighting the challenges of using an API-geared tool in a GUI-based setting. Finally we present the results of our case study.
CPS Model-Based Design
Lecture Notes in Computer Science: Software Technologies for Embedded and Ubiquitous Systems
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-10265-3_19
model-based testing, gui-driven medical devices
Date Posted: 24 November 2009
This document has been peer reviewed.