Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain
-
Malte Lochau
Dr. Malte Lochau has a postdoc position at the Real-Time Systems Lab of Prof. Andy Schürr at the TU Darmstadt. His research interests are software product line engineering, model-based testing and formal semantics. His research is part of the DFG project IMoTEP and in the DFG SFB 1053 MAKI.
TU Darmstadt, Fachbereich Elektrotechnik, Fachgebiet Echtzeitsysteme, D-64283 Darmstadt, Fax: +49-(0)6151-16-6942
,
Johannes Bürdek
M. Sc. Johannes Bürdek is a Ph.D. Student at the Real-Time Systems Lab of Prof. Andy Schürr at the TU Darmstadt. His main research activities are in the field of evolving software product lines and model-based testing. His research is part of the DFG project IMoTEP.
TU Darmstadt, Fachbereich Elektrotechnik, Fachgebiet Echtzeitsysteme, D-64283 Darmstadt, Fax: +49-(0)6151-16-6942
M. Sc. Sascha Lity is a Ph.D. Student at the Technische Universität Braunschweig. Main interests of his research are evolving software product lines and model-based testing of variant-rich systems. He is a member of the DFG project IMoTEP.
TU Braunschweig, Carl-Friedrich-Gauss-Fakultät, Institut für Programmierung und Reaktive Systeme, D-38106 Braunschweig, Fax: +49-(0)531-391-8111
Dipl.-Ing. Matthias Hagner was working as a research assistant at the Technische Universität Braunschweig from 2007-2013 and examined the possibilities of modelling and analysing non-functional requirements. He is working as an Applications Engineer for the Symtavision GmbH in Braunschweig since January 2014.
TU Braunschweig, Carl-Friedrich-Gauss-Fakultät, Institut für Programmierung und Reaktive Systeme, D-38106 Braunschweig, Fax: +49-(0)531-391-8111
Dipl.-Inf. Christoph Legat is a researcher at the Institute of Automation and Information Systems, Technische Universität München. His research interest is on the application of formal methods and knowledge-based techniques to improve the flexibility and changeability of automation control systems.
Technische Universität München, Institute of Automation and Information Systems, D-85748 Garching near Munich, Fax: +49-(0)89-289-16410
Prof. Dr. Ursula Goltz is professor for Computer Science at the Technical University of Braunschweig since 1998. There she is chair of the Institute for Programming and Reactive Systems. Her main research interests are specification and system design, reactive systems, concurrency, process algebras and semantics.
TU Braunschweig, Carl-Friedrich-Gauss-Fakultät, Institut für Programmierung und Reaktive Systeme, D-38106 Braunschweig, Fax: +49-(0)531-391-8111
Prof. Dr. Andy Schürr holds the Real-Time System chair of the Electrical Engineering and Information Technology Department of the Technische Universität Darmstadt since July 2002. His main research interests are model-driven engineering of embedded real-time systems and the development of visual formal specification languages used for that purpose.
TU Darmstadt, Fachbereich Elektrotechnik, Fachgebiet Echtzeitsysteme, D-64283 Darmstadt, Fax: +49-(0)6151-16-6942
Abstract
The software constitutes a major part of nowadays automation systems being responsible for conducting complex control tasks. Machines and plants are often unique in some industrial branches; hence, they become mechatronic products configured individually. The inherent software variability of those highly-configurable systems makes efficient, yet accurate quality assurance a challenging task. This article presents a comprehensive approach for applying model-based software product line testing techniques to the automation engineering domain. Existing approaches for variability modeling are adapted to domain specific modeling languages to allow for variability-aware test case generation and execution. The implementation of the approach is evaluated by means of a sample automation system product line.
Zusammenfassung
Die Software ist ein wesentlicher Bestandteil bei der Ausführung komplexer Steuerungs- und Regelungsaufgaben in heutigen Automatisierungssystemen. In vielen Branchen sind kundenspezifisch konfigurierbare Maschinen und Anlagen etabliert. Der sich daraus ergebende Variantenreichtum der Software derartiger Systeme erschwert eine effiziente und zugleich akkurate Qualitätssicherung. Dieser Beitrag beschreibt einen umfassenden, modellbasierten Testansatz für Softwaresysteme in der Automatisierungstechnik basierend auf Techniken des Produktlinien-Tests. Bestehende Ansätze zur Variabilitätsmodellierung werden auf domänenspezifische Sprachen der Automatisierungstechnik übertragen und bilden die Grundlage für die Generierung und Ausführung variantenübergreifender Testfälle. Die Implementierung des Ansatzes wird anhand einer exemplarischen Produktlinie evaluiert.
About the authors
Dr. Malte Lochau has a postdoc position at the Real-Time Systems Lab of Prof. Andy Schürr at the TU Darmstadt. His research interests are software product line engineering, model-based testing and formal semantics. His research is part of the DFG project IMoTEP and in the DFG SFB 1053 MAKI.
TU Darmstadt, Fachbereich Elektrotechnik, Fachgebiet Echtzeitsysteme, D-64283 Darmstadt, Fax: +49-(0)6151-16-6942
M. Sc. Johannes Bürdek is a Ph.D. Student at the Real-Time Systems Lab of Prof. Andy Schürr at the TU Darmstadt. His main research activities are in the field of evolving software product lines and model-based testing. His research is part of the DFG project IMoTEP.
TU Darmstadt, Fachbereich Elektrotechnik, Fachgebiet Echtzeitsysteme, D-64283 Darmstadt, Fax: +49-(0)6151-16-6942
M. Sc. Sascha Lity is a Ph.D. Student at the Technische Universität Braunschweig. Main interests of his research are evolving software product lines and model-based testing of variant-rich systems. He is a member of the DFG project IMoTEP.
TU Braunschweig, Carl-Friedrich-Gauss-Fakultät, Institut für Programmierung und Reaktive Systeme, D-38106 Braunschweig, Fax: +49-(0)531-391-8111
Dipl.-Ing. Matthias Hagner was working as a research assistant at the Technische Universität Braunschweig from 2007-2013 and examined the possibilities of modelling and analysing non-functional requirements. He is working as an Applications Engineer for the Symtavision GmbH in Braunschweig since January 2014.
TU Braunschweig, Carl-Friedrich-Gauss-Fakultät, Institut für Programmierung und Reaktive Systeme, D-38106 Braunschweig, Fax: +49-(0)531-391-8111
Dipl.-Inf. Christoph Legat is a researcher at the Institute of Automation and Information Systems, Technische Universität München. His research interest is on the application of formal methods and knowledge-based techniques to improve the flexibility and changeability of automation control systems.
Technische Universität München, Institute of Automation and Information Systems, D-85748 Garching near Munich, Fax: +49-(0)89-289-16410
Prof. Dr. Ursula Goltz is professor for Computer Science at the Technical University of Braunschweig since 1998. There she is chair of the Institute for Programming and Reactive Systems. Her main research interests are specification and system design, reactive systems, concurrency, process algebras and semantics.
TU Braunschweig, Carl-Friedrich-Gauss-Fakultät, Institut für Programmierung und Reaktive Systeme, D-38106 Braunschweig, Fax: +49-(0)531-391-8111
Prof. Dr. Andy Schürr holds the Real-Time System chair of the Electrical Engineering and Information Technology Department of the Technische Universität Darmstadt since July 2002. His main research interests are model-driven engineering of embedded real-time systems and the development of visual formal specification languages used for that purpose.
TU Darmstadt, Fachbereich Elektrotechnik, Fachgebiet Echtzeitsysteme, D-64283 Darmstadt, Fax: +49-(0)6151-16-6942
©2014 Walter de Gruyter Berlin/Boston
Articles in the same Issue
- Frontmatter
- Editorial
- Softwaredesign für die Zukunft – geplante und gemanagte Softwareevolution
- Übersicht
- Challenges of Parallel Evolution in Production Automation Focusing on Requirements Specification and Fault Handling
- Methoden
- Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain
- Evolution Management of Production Facilities by Semi-Automated Requirement Verification
- Model-based Development and Performance Analysis for Evolving Manufacturing Systems
- Propagation of Software Model Changes in the Context of Industrial Plant Automation
- Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance
- Erratum
- Methoden zur Modellierung ordnungs- und strukturvariabler Antriebssysteme
Articles in the same Issue
- Frontmatter
- Editorial
- Softwaredesign für die Zukunft – geplante und gemanagte Softwareevolution
- Übersicht
- Challenges of Parallel Evolution in Production Automation Focusing on Requirements Specification and Fault Handling
- Methoden
- Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain
- Evolution Management of Production Facilities by Semi-Automated Requirement Verification
- Model-based Development and Performance Analysis for Evolving Manufacturing Systems
- Propagation of Software Model Changes in the Context of Industrial Plant Automation
- Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance
- Erratum
- Methoden zur Modellierung ordnungs- und strukturvariabler Antriebssysteme
