Create model from requirements (e.g as State Chart = FSM)
Generate Model-Tests from model using the model
Translate Model-Tests to normal tests
Problem: Information zwischen Tests und Requirements geht verloren wegen model → explicit Traceability is needed
Main types of MBT:
