Äquivalenzklassen-basiertes Testen

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.

Autorentext

• 2008 Diplomarbeit bei Bosch Engineering, - 2009 Diplom in Informatik an der Uni Stuttgart, - 2009 Entwicklungsingenieur bei Eberspächer Electronics, - 2010 IT Referent (für Zensus 2011) beim statistischen Landesamt Baden-Württemberg

  Klappentext

  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.