How to design extended finite state machine test models in Java

Utting, Mark (2012) How to design extended finite state machine test models in Java. In Zander, Justyna, Schieferdecker, Ina, & Mosterman, Pieter J. (Eds.) Model-Based Testing for Embedded Systems. CRC Press/Taylor and Francis Group, Boca Raton, FL, pp. 147-170.

[img] Submitted Version (PDF 659kB)
Available to QUT staff and students only | Request a copy from author

View at publisher

Abstract

This chapter is a tutorial that teaches you how to design extended finite state machine (EFSM) test models for a system that you want to test. EFSM models are more powerful and expressive than simple finite state machine (FSM) models, and are one of the most commonly used styles of models for model-based testing, especially for embedded systems. There are many languages and notations in use for writing EFSM models, but in this tutorial we write our EFSM models in the familiar Java programming language. To generate tests from these EFSM models we use ModelJUnit, which is an open-source tool that supports several stochastic test generation algorithms, and we also show how to write your own model-based testing tool. We show how EFSM models can be used for unit testing and system testing of embedded systems, and for offline testing as well as online testing.

Impact and interest:

Citation counts are sourced monthly from Scopus and Web of Science® citation databases.

These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.

Citations counts from the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

ID Code: 56821
Item Type: Book Chapter
Keywords: Model-based testing, EFSM, Java, Embedded systems, Stochastic testing
ISBN: 9781439818459
Subjects: Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > COMPUTER SOFTWARE (080300) > Software Engineering (080309)
Divisions: Current > Schools > School of Design
Current > QUT Faculties and Divisions > Creative Industries Faculty
Copyright Owner: Copyright 2011 CRC Press
Deposited On: 03 Feb 2013 22:24
Last Modified: 01 May 2013 21:11

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page