A test technique based on the specification of a component or a system.