ScholarlyCommons: Repository

Title

Model-Based Testing of GUI-Driven Applications

Author(s)

Vivien Chinnapongse, University of PennsylvaniaFollow
Insup Lee, University of PennsylvaniaFollow
Oleg Sokolsky, University of PennsylvaniaFollow
Shaohui Wang, University of PennsylvaniaFollow
Paul L. Jones, U.S. Food and Drug AdministrationFollow

Document Type

Conference Paper

Date of this Version

11-16-2009

Comments

Postprint version. Published in:

The Seventh IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2009), LNCS 5860, pp. 203-214.

Publisher URL:
http://www.springerlink.com/content/g84417t85n55/?sortorder=asc&v=editorial&p_o=10

DOI: 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.

Keywords

model-based testing, gui-driven medical devices