Modeling Toolbox
As a software tool for model-based testing, Spec Explorer has features that provide support for various modeling techniques. This toolbox section contains walkthroughs of some important modeling techniques that use appropriate tools available in Spec Explorer. Some of these techniques have special support in Spec Explorer for software design patterns that are especially applicable in the realm of model-based testing. For example, this section has a detailed walkthrough of the State Checker Pattern.