Departmental Papers (CIS)

Date of this Version

11-16-2009

Document Type

Conference Paper

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.

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

Share

COinS
 

Date Posted: 24 November 2009

This document has been peer reviewed.