Model-based Testing

Testing based on a model of the component or system under test, e.g., reliability growth models, usage models such as operational profiles or behavioural models such as decision table or state transition diagram.

Terms of Software Testing (ISTQB)