
Departmental Papers (CIS)
Date of this Version
11-16-2009
Document Type
Conference Paper
Recommended Citation
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
Abstract
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.
Subject Area
CPS Model-Based Design
Publication Source
Lecture Notes in Computer Science: Software Technologies for Embedded and Ubiquitous Systems
Volume
5860
Start Page
203
Last Page
214
DOI
10.1007/978-3-642-10265-3_19
Copyright/Permission Statement
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-10265-3_19
Keywords
model-based testing, gui-driven medical devices
Date Posted: 24 November 2009
This document has been peer reviewed.
Comments
The Seventh IFIP WG 10.2 International Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2009), Newport Beach, CA, USA, November 16-18, 2009.