Model-based Testing

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