Modell-basierte Testverfahren werden im Paradigma der Constraint-Programmierung angesehen. Demnach wird eine Spezifikation (in Form eines Zeitautomaten oder einer Komposition von Zeitautomaten) zunächst als ein Constraint-Programm kodiert. Durch die symbolische Ausführung des Programms werden Testdaten erzeugt, die als Eingaben für Testfälle dienen. Auf dieser Basis kann das Modell dann ggf. korrigiert bzw. weiter verfeinert werden. Um Berechnungen effizient durchführen zu können, werden sog. Konsistenzverfahren eingesetzt, wodurch potentiell weniger Klauseln ausgewählt, der Suchaufwand minimiert und somit die Effizienz gesteigert werden kann. Die im Zusammenhang mit den Konsistenzverfahren zu definierenden Propagierungsmechanismen wurden im Rahmen einer prototypischen Architektur implementiert; zur praktischen Demonstration wurde ein Szenario aus dem Bereich der interaktiven Multimediakommunikation herangezogen.Model-based testing is seen in the paradigm of the constraint programming. Thus, a specification (in form of a timed automaton) is coded as a constraint program. By symbolic execution of such a program test data are generated which can be used as inputs for test cases. On this basis a model can be adjusted and improved. In order to make the computing process more efficient, consistency techniques are introduced which help to choose less clauses, to minimize the search costs and hence to increase the efficiency. In connection with the consistency techniques the propagation mechanisms to be defined are implemented in a prototypical framework; for demonstration purposes a scenario from the area of the interactive multimedia communication has been taken
