Zusammenfassung
Der Einsatz von Modellen als Grundlage für eine automatisierte Testfallerzeugung bietet einen wesentlichen Vorteil durch eine Erhöhung der Testabdeckung, eine vereinfachte Wiederholbarkeit der Testerstellung und damit verbunden einer Qualitätssteigerung der Produkte. In diesem Beitrag wird eine Methode zur Modellsynthese vorgestellt. Dabei wird aus formalisierten Anforderungen automatisiert ein Spezifikationsmodell für den Zweck der automatisierten Testfallerzeugung generiert. Im Zuge der Modellgenerierung erfolgt eine Verifizierung des Modells, um widersprüchliche oder redundante Beschreibungen aufzudecken.
Abstract
The use of models as basis for automated test case generation provides a significant benefit by simplifying the test creation and increasing the test coverage. Also the quality of the related product will be improved. In this paper a method for model syntheses is introduced. Formalized requirements are used to generate an specification model for the purpose of automatic test case generation. A verification of the model takes place within the model generation to detect inconsistencies and/or redundancies.
Über die Autoren
Dipl.-Ing. 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
Dr.-Ing. Jan Krause 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. Er koordiniert die Entwicklung von Testmethoden und -werkzeugen am ifak und leitet dort seit 2014 das Geschäftsfeld ,,Verkehr & Assistenz”.
Institut für Automation und Kommunikation e.V., Werner-Heisenberg-Str. 1, 39106 Magdeburg
Prof. Dr.- Ing. Christian Diedrich war seit 1992 am Institut für Automation und Kommunikation Magdeburg als Bereichsleiter und stellvertretender Institutsleiter tätig. Seit 2006 leitet er 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
©2015 Walter de Gruyter Berlin/Boston