ABSTRACT
Model-based testing is an efficient testing technique in which a system under test (SUT) is compared to a formal model that is created from the SUT’s requirements. Major benefits of model-based testing compared to conventional testing techniques are the automation of test case design, the early validation of requirements, the traceability of requirements from model elements to test cases, the early detection of failures, and an easy maintenance of test suites for regression testing.
