Model-based testing

Generating tests automatically from a model of the expected behaviour of a system.

Covers generating tests from a model of expected behaviour. Producing test cases from requirements or code by other methods is Test case generation.

Scheme

Broader terms