A vision for behavioural model-driven validation of software product lines

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

113 Downloads (Pure)

Abstract

The Software Product Lines (SPLs) paradigm promises faster development cycles and increased quality by systematically reusing software assets. This paradigm considers a family of systems, each of which can be obtained by a selection of features in a variability model. Though essential, providing Quality Assurance (QA) techniques for SPLs has long been perceived as a very difficult challenge due to the combinatorics induced by variability and for which very few techniques were available. Recently, important progress has been made by the model-checking and testing communities to address this QA challenge, in a very disparate way though. We present our vision for a unified framework combining model-checking and testing approaches applied to behavioural models of SPLs. Our vision relies on Featured Transition Systems (FTSs), an extension of transition systems supporting variability. This vision is also based on model-driven technologies to support practical SPL modelling and orchestrate various QA scenarios. We illustrate one of such scenarios on a vending machine SPL.
Original languageEnglish
Title of host publicationProceedings of the 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
Pages208-222
Number of pages15
Volume7609 LNCS
DOIs
Publication statusPublished - 15 Oct 2012
EventThe 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012) - Heraclion, Greece
Duration: 10 Oct 2012 → …

Conference

ConferenceThe 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012)
CountryGreece
CityHeraclion
Period10/10/12 → …

Keywords

  • Software Product Line
  • Model-Based Testing
  • Model-Checking

Fingerprint Dive into the research topics of 'A vision for behavioural model-driven validation of software product lines'. Together they form a unique fingerprint.

  • Projects

    Activities

    • 1 Participation in conference

    The 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012)

    Xavier Devroey (Participant)

    10 Oct 201218 Oct 2012

    Activity: Participating in or organising an event typesParticipation in conference

    Student Theses

    Behavioural model-based testing of software product lines

    Author: Devroey, X., 30 Aug 2017

    Supervisor: Schobbens, P. (Supervisor), Heymans, P. (Supervisor), Englebert, V. (President), Baudry, B. (External person) (Jury), Cohen, M. B. (External person) (Jury), Legay, A. (Jury) & Perrouin, G. (Jury)

    Student thesis: Doc typesDoctor of Sciences

    File

    Cite this

    Devroey, X., Cordy, M., Perrouin, G., Kang, E-Y., Schobbens, P-Y., Heymans, P., Legay, A., & Baudry, B. (2012). A vision for behavioural model-driven validation of software product lines. In Proceedings of the 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) (Vol. 7609 LNCS, pp. 208-222) https://doi.org/10.1007/978-3-642-34026-0_16