Modellsynthese für die Testfallgenerierung sowie Testdurchführung unter Nutzung von Methoden zur Netzwerkanalyse

Die automatische Testdurchführung und die modellbasierte Testgenerierung als Teil der Testautomatisierung verbessern den Testprozess und letztendlich die Qualität von Produkten. Der Grund sind die automatisierte Wiederholbarkeit der Testfälle sowie eine höhere Testabdeckung. In diesem Beitrag werden zu diesem Zweck eine anforderungsbasierte Systembeschreibung und eine Modellsynthese zu einem Spezifikationsmodell dargestellt. Sie haben das Ziel, eine vorgelagerte Unterstützung und somit eine Reduzierung der Einstiegshürde für die modellbasierte Testgenerierung zu ermöglichen. Ebenso wird in diesem Beitrag eine Methode zur Netzwerkanalyse und -manipulation aufgezeigt, um die Testdurchführung mit der Überprüfung des Sollverhaltens von relevantem Netzwerkverkehr zu automatisieren und zu verbessern. Dazu wird eine prototypisch implementierte Toolkette vorgestellt, die von der Anforderungsbeschreibung bis zum Testen einer Anlage reicht.