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.
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 and 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 theindexing service can be viewed at the linked Google Scholar™ search.
|Item Type:||Book Chapter|
|Keywords:||Model-based testing, EFSM, Java, Embedded systems, Stochastic testing|
|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|
Repository Staff Only: item control page