Model-Based Round-Trip Engineering and Testing of Evolving Software Product Lines

  • Malte LochauEmail author
  • Dennis Reuling
  • Johannes Bürdek
  • Timo Kehrer
  • Sascha Lity
  • Andy Schürr
  • Udo Kelter
Open Access


This chapter describes a model-based framework for systematic round-trip engineering of continuously evolving software product line implementations. The product-line architecture consists of a feature diagram as configuration model and a preprocessor-based C code implementation comprising all software variants. As quality-assurance methodology, we consider white-box testing, where test suites are automatically generated for product-line implementations with respect to a given set of test goals to be covered on all derivable software variants. The approach employs techniques from meta-modelling and model differencing to uniformly reason about product-line artefact changes and their potential impact on every possible kind of artefact consistency. The approach further combines model differencing, model merging, and regression testing to systematically co-evolve product-line engineering and quality-assurance artefacts accordingly. The approach is illustrated by application scenarios concerning the xPPU case study.


  1. [Alv+08]
    Vander Alves et al. “FLiP: Managing Software Product Line Extraction and Reaction with Aspects”. In: Software Product Lines, 12th International Conference, SPLC 2008, Limerick, Ireland, September 8–12, 2008, Proceedings. 2008, p. 354. url:
  2. [Bey+04]
    D. Beyer et al. “Generating tests from counterexamples”. In: Proceedings. 26th International Conference on Software Engineering. 2004, pp. 326–335.Google Scholar
  3. [Bür+15a]
    Johannes Bürdek et al. “Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines”. In: Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings. 2015, pp. 84–99.Google Scholar
  4. [Bür+15b]
    Johannes Bürdek et al. “Reasoning about Product-Line Evolution using Complex Feature Model Differences”. In: Automated Software Engineering Special Issue on Long Term Evolution of Software Systems Response(2015).Google Scholar
  5. [CN01]
    P. Clements and L. Northrop. Software Product Lines: Practices and Patterns. Addison-Wesley Longman Publishing Co., Inc., 2001.Google Scholar
  6. [D B+13]
    D. Beyer et al. “Information Reuse for Multi-goal Reachability Analyses”. In: Proc. ESOP. LNCS 7792. Springer, 2013, pp. 472–491.Google Scholar
  7. [Loc+14]
    Malte Lochau et al. “Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain”. In: Automatisierungstechnik 62.11 (2014), pp. 771–780.Google Scholar
  8. [MBB16]
    Mariem Mefteh, Nadia Bouassida, and Hanêne Ben-Abdallah. “Mining Feature Models from Functional Requirements”. In: Comput. J.59.12 (2016), pp. 1784–1804. url: Scholar
  9. [PBL05a]
    Klaus Pohl, Günter Böckle, and Frank J. van der Linden. Software Product Line Engineering: Foundations, Principles and Techniques. 1st ed. Springer, Aug. 3, 2005. 496 pp. isbn: 978-3-540-24372-4. url: Scholar
  10. [Rös+14]
    S. Rösch et al. “Model-based Testing of PLC Software: Test of Plants’ Reliability by using Fault Injection on Component Level”. In: 19th IFAC World Congress. accepted. 2014.CrossRefGoogle Scholar
  11. [TBK09]
    T. Thüm, D. Batory, and C. Kästner. “Reasoning about edits to feature models”. In: ICSE. ACM, 2009, pp. 254–264.Google Scholar
  12. [UL07]
    Mark Utting and Bruno Legeard. Practical Model-Based Testing. A Tools Approach. M. Kaufmann, 2007. isbn: 978-0-12-372501-1. url:

Copyright information

© The Author(s) 2019

Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.

The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.

Authors and Affiliations

  • Malte Lochau
    • 1
    Email author
  • Dennis Reuling
    • 2
  • Johannes Bürdek
    • 1
  • Timo Kehrer
    • 3
  • Sascha Lity
    • 4
  • Andy Schürr
    • 1
  • Udo Kelter
    • 5
  1. 1.Technische Universität DarmstadtFachbereich Elektrotechnik und Informationstechnik, Fachgebiet EchtzeitsystemeDarmstadtGermany
  2. 2.Praktische Informatik/Softwaretechnik, Fachbereich Elektrotechnik und InformatikUniversität - GH - SiegenSiegenGermany
  3. 3.Institut für InformatikHumboldt-Universität zu BerlinBerlinGermany
  4. 4.Institut für Softwaretechnik und FahrzeuginformatikTechnische Universität Braunschweig, InformatikzentrumBraunschweigGermany
  5. 5.Praktische Informatik/Softwaretechnik, Fachbereich Elektrotechnik und InformatikUniversität - GH - SiegenSiegenGermany

Personalised recommendations