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

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

122 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.

Cite this