Nehodí se? Vůbec nevadí! U nás můžete do 30 dní vrátit
S dárkovým poukazem nešlápnete vedle. Obdarovaný si za dárkový poukaz může vybrat cokoliv z naší nabídky.
30 dní na vrácení zboží
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.