Jump to ContentJump to Main Navigation
Show Summary Details
More options …

at - Automatisierungstechnik

Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik

[AT - Automation Technology: Methods and Applications of Control, Regulation, and Information Technology
]

Editor-in-Chief: Jumar, Ulrich

12 Issues per year


IMPACT FACTOR 2017: 0.503

CiteScore 2017: 0.47

SCImago Journal Rank (SJR) 2017: 0.212
Source Normalized Impact per Paper (SNIP) 2017: 0.546

Online
ISSN
2196-677X
See all formats and pricing
More options …
Volume 62, Issue 11

Issues

Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain

Schwerpunktprogramm SPP 1593: Design for Future – Managed Software EvolutionAnwendung modellbasierter Testansätze für Software-Produktlinien in der Automatisierungstechnik

Malte Lochau / Johannes Bürdek / Sascha Lity
  • TU Braunschweig, Carl-Friedrich-Gauss-Fakultät, Institut für Programmierung und Reaktive Systeme, D-38106 Braunschweig
  • Email
  • Other articles by this author:
  • De Gruyter OnlineGoogle Scholar
/ Matthias Hagner
  • TU Braunschweig, Carl-Friedrich-Gauss-Fakultät, Institut für Programmierung und Reaktive Systeme, D-38106 Braunschweig
  • Email
  • Other articles by this author:
  • De Gruyter OnlineGoogle Scholar
/ Christoph Legat / Ursula Goltz
  • TU Braunschweig, Carl-Friedrich-Gauss-Fakultät, Institut für Programmierung und Reaktive Systeme, D-38106 Braunschweig
  • Email
  • Other articles by this author:
  • De Gruyter OnlineGoogle Scholar
/ Andy Schürr
Published Online: 2014-10-28 | DOI: https://doi.org/10.1515/auto-2014-1099

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.

Schlagwörter: Modellbasierter Softwaretest; Software-Produktlinien; Variantenmanagement

Keywords: Model-based software testing; software product lines; variability

About the article

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

Sascha Lity

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

Matthias Hagner

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

Christoph Legat

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

Ursula Goltz

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

Andy Schürr

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


Accepted: 2014-07-18

Received: 2014-03-03

Published Online: 2014-10-28

Published in Print: 2014-11-28


Citation Information: at - Automatisierungstechnik, Volume 62, Issue 11, Pages 771–780, ISSN (Online) 2196-677X, ISSN (Print) 0178-2312, DOI: https://doi.org/10.1515/auto-2014-1099.

Export Citation

©2014 Walter de Gruyter Berlin/Boston.Get Permission

Citing Articles

Here you can find all Crossref-listed publications in which this article is cited. If you would like to receive automatic email messages as soon as this article is cited in other publications, simply activate the “Citation Alert” on the top of this page.

[1]
Sebastian Ulewicz and Birgit Vogel-Heuser
Control Engineering Practice, 2018, Volume 73, Page 171
[2]
Susanne Rösch and Birgit Vogel-Heuser
Control Engineering Practice, 2017, Volume 58, Page 12
[3]
Thorsten Koch, Jörg Holtmann, David Schubert, and Timo Lindemann
Procedia Technology, 2016, Volume 26, Page 447
[4]
Jan Ladiges, Alexander Fay, and Winfried Lamersdorf
Intelligent Industrial Systems, 2016, Volume 2, Number 2, Page 163
[5]
Malte Lochau, Stephan Mennicke, Hauke Baller, and Lars Ribbeck
Journal of Logical and Algebraic Methods in Programming, 2016, Volume 85, Number 1, Page 245
[6]
Birgit Vogel-Heuser, Alexander Fay, Ina Schaefer, and Matthias Tichy
Journal of Systems and Software, 2015, Volume 110, Page 54
[7]
Malte Lochau, Johannes Bürdek, Stefan Hölzle, and Andy Schürr
Software & Systems Modeling, 2017, Volume 16, Number 1, Page 125

Comments (0)

Please log in or register to comment.
Log in