ISBN-13: 9783639353587 / Niemiecki / Miękka / 2011 / 104 str.
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 werden nicht nur direkt spezifizierte Testfalle erzeugt, sondern vielmehr fehlende" Testfalle automatisch generiert. Das Verfahren wurde bei Bosch Engineering im Rahmen meiner Diplomarbeit implementiert und erfolgreich eingesetzt."
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.