Generiertests
Generiertests sind Tests, die automatisch aus einer formalen Spezifikation, einem Modell oder aus dem Systemverhalten abgeleitet oder erzeugt werden. Sie dienen dazu, Testabdeckung und Reproduzierbarkeit zu erhöhen, ohne dass jeder Testfall manuell entworfen werden muss. Generierte Tests können sowohl zur Validierung von Funktionen als auch zur Risiko- oder Grenzfalldiagnose eingesetzt werden.
Zu den gängigen Ansätzen gehören eigenschaftsorientiertes Testen, bei dem aus zu prüfenden Eigenschaften Testfälle generiert werden;
Der typische Ablauf umfasst die Definition einer Spezifikation, eines validen Modells oder einer Eingabendomäne, die Generierung
Anwendungsgebiete finden sich insbesondere in der Software- und Systementwicklung, eingebetteten Systemen, Automotive und anderen Industrien, in