Testansatz, bei dem ein Verhaltensmodell (z. B. Zustandsautomat) genutzt wird, um Testfälle systematisch abzuleiten.