Dieses Buch beschreibt den praktischen Einsatz Äquivalenzklassen basierten Testens für Systeme mit zeit- und zustands- behafteten Verhalten. Dafür wird die Klassifikationsbaummethode um die Möglichkeit erweitert, den zeitlichen Verlauf von Eingangs- und Ausgangsgrößen anzugeben mit Hilfe verallgemeinerter Äquivalenzklassen. Des Weiteren wird ein Verfahren angegeben, welches aus einer Testspezifikation dem Äquivalenzklassenbaum eine zeitlich korrelierte Sequenz von Eingangs- und Ausgangswerten erzeugt die mit Hilfe eines entsprechenden Testrahmens automatische Tests ermöglicht. Dabei werden nicht nur direkt spezifizierte Testfälle erzeugt, sondern vielmehr fehlende Testfälle automatisch generiert. Das Verfahren wurde bei Bosch Engineering im Rahmen meiner Diplomarbeit implementiert und erfolgreich eingesetzt.