IDE & Navigation
Properties & Tools
We have collected a few models to help demonstrate how Model-Based Testing can be applied to testing various types of applications. A few of these models are bundled in the download package. Others are not but you can download them at the end of page that describe the model.
Modeling an application requires creativity and ingenuity and you will find that there are more than one ways to model the same application behaviors. If you have a model you would like to share with the group, please contact us.