Zusammenfassung
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.
Abstract
The automatic test execution and model based test generation are a part of the test automation, improve the test process and finally the quality of products. The reason is an automated repeatability of test cases as well as a higher test coverage. Therefore this article describes a requirement based system description and a model synthesis that yields a specification model. They aim for a first stage support and therefore a lowering of the entry threshold for the model based test generation. In addition to that, this article describes a method for network analysis and manipulation. The check of the target behavior of relevant network traffic helps to automate and improve the test execution. The presented tool chain covers all these features, from requirement description to testing of a plant.
Über die Autoren
Stephan Magnus hat Elektrotechnik mit dem Schwerpunkt Automatisierungstechnik an der Otto-von-Guericke-Universität Magdeburg studiert. Er arbeitet seit 2010 am Institut für Automation und Kommunikation (ifak) e. V. Magdeburg als wissenschaftlicher Mitarbeiter im Forschungsfeld „Modellbasierter Test und Systementwurf“. Sein Forschungsschwerpunkt ist die Anforderungsdefinition und Modellierung im Bereich der Testautomatisierung.
Institut für Automation und Kommunikation e. V., Werner-Heisenberg-Str. 1, 39106 Magdeburg
Tim Ruß hat Mechatronik an der Otto-von-Guericke-Universität Magdeburg studiert. Er arbeitet seit 2012 am Institut für Automation und Kommunikation (ifak) e. V. Magdeburg als wissenschaftlicher Mitarbeiter. Sein Forschungsschwerpunkt ist der modellbasierte Test für verteilte Systeme, insbesondere für Ethernet/PROFINET und kooperative ITS/Car2X.
Institut für Automation und Kommunikation e. V., Werner-Heisenberg-Str. 1, 39106 Magdeburg
Jan Krause hat Wirtschaftsingenieurwesen mit den Schwerpunkten Automation, Controlling und Logistik an der Otto-von-Guericke-Universität Magdeburg studiert. Er arbeitet am Institut für Automation und Kommunikation (ifak) e. V. Magdeburg als wissenschaftlicher Mitarbeiter mit den Schwerpunkten in der Entwicklung und Verwendung von Methoden und Werkzeugen für die Spezifizierung, Analyse, Verifizierung und Evaluierung IT-basierter Systeme im Automations- und Verkehrsbereich. Seit 2010 ist er Koordinator des bereichsübergreifenden Forschungsfeldes „Modellbasierter Test und Systementwurf“ und seit 2014 Geschäftsfeldleiter „Verkehr und Assistenz“ am ifak.
Institut für Automation und Kommunikation e. V., Werner-Heisenberg-Str. 1, 39106 Magdeburg
Christian Diedrich war seit 1992 am Institut für Automation und Kommunikation Magdeburg als Bereichsleiter und stellvertretender Institutsleiter tätig. Seit 2006 leitet er an der Otto-von-Guericke-Universität den Lehrstuhl „Integrierte Automation“. Seine Hauptarbeitsfelder sind Beschreibungsmethoden, Engineeringmethoden und formale Methoden in der Automatisierungstechnik.
Otto-von-Guericke-Universität Magdeburg, Institut für Automatisierungstechnik, Universitätsplatz 2, 39106 Magdeburg
©2017 Walter de Gruyter Berlin/Boston
