Modellbasierte Formulartests: Testdaten per SMT-Solver - Simon Bergler, Lilia Gargouri

In dieser Episode diskutieren wir die Herausforderungen und Lösungen beim Testen von Formularen. Wie kann der Tester einer immensen Vielfalt von Formularen und Eingabefeldern ausfallen?. Wir besprechen, wie diese Aufgabe durch den Einsatz von Automatisierung und modellbasierten Ansätzen erfolgreich bewältigt wurde. Der Fokus liegt auf der Verwendung von Datenmodellen, Validierungs- und Berechnungsregeln sowie der Implementierung automatisierter Tests, um den manuellen Aufwand erheblich zu reduzieren. Abschließend geht es darum, wie entscheidend es ist, frühzeitig Fehler zu erkennen und zu beheben, um eine hohe Qualität sicherzustellen.