Model-based testing is a systematic method to generate test cases from models of system requirements.