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.

• Demo_VendingMachineJava - a simple MBT example to test java application.
• Demo_WebStore - testing a simple web site using Data-Driven Testing and Parwise Testing.
• Demo_GoogleSearch - a tutorial on how to use WebMBT Builder to perform Data-Driven Testing (DDT) and Pairwise testing with no scripting or coding.
• Demo_KeywordDrivenTest - an example model to implement Keyword-Driven Testing.
• MBBA Demo - an example of model-based business process analysis (MBBA edition).
• Demo_FlatMult - MBT model for a logic processing system.
• Demo_QuiDonc - MBT model for French automated inquiry system.
• Demo_RemoteAgent - shows how to integrate TestOptimal with other test automation tools.