Nu se pretează? Nu contează! La noi puteți returna bunurile în 30 de zile
Cu un voucher cadou nu veți da greș. În schimbul voucherului, destinatarul își poate alege orice din oferta noastră.
30 de zile pentru retur bunuri
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.