TestOptimal Wiki

Model-Based Testing (MBT)

User Tools

Site Tools


Demo Model: FlatMult


An example of MBT modeling with submodel

Model Background

This model was created from the real-world example in the book Practical Model-Based Testing: A Tools Approach, by Mark Utting, Bruno Legeard.

For more details about how the model was developed, please refer to the book on pages 168 - 183.

flatmult.txt · Last modified: 2016/09/22 02:35 (external edit)