Model-Based Testing (MBT) / App. Ex. 1

MBAT Automotive Use Case 1 “Brake by Wire”: this pattern is used in its scenario 5 “TCG based on Test Model”.

Participants / Artefacts:

User: Volvo

Tools: ViTAL, UPPAAL: by MDH; Farkle: by Enea/XDIN/ALTEN; Requ.mgmt: by Enovia


Create T&A model is a 2-step process as shown.

The „inspect verdict“ step is focusing on line and state coverage; hence, no explicit test objectives are used.