Dieses Buch beschreibt den praktischen Einsatz Aquivalenzklassen -basierten Testens fur Systeme mit zeit- und zustands- behafteten Verhalten. Dafur wird die Klassifikationsbaummethode um die Moglichkeit erweitert, den zeitlichen Verlauf von Eingangs- und Ausgangsgrossen anzugeben - mit Hilfe verallgemeinerter Aquivalenzklassen. Des Weiteren wird ein Verfahren angegeben, welches aus einer Testspezifikation - dem Aquivalenzklassenbaum - eine zeitlich korrelierte Sequenz von Eingangs- und Ausgangswerten erzeugt die mit Hilfe eines entsprechenden Testrahmens automatische Tests ermoglicht. Dabei...