How to design extended finite state machine test models in Java

Above all others, the key skill that is needed for model-based testing (MBT) is the ability to write good test models that capture just the essential aspects of your system under test (SUT). This chapter focuses on developing the skill of modeling for MBT. After this introduction, which gives an overview of MBT and its pros and cons, Section 6.2 compares two of the most common styles of models used for MBT-SUT input models and finite state models (FSM)—and discusses their suitability for embedded systems. Then, in Section 6.3, we develop some simple graphical FSM test models for testing a well-known kind of Java collection (Set) and show how this model can be expressed as an extended finite state machine (EFSM) model in Java