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.

QR Code
QR Code flatmult (generated for current page)