Projects per year
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 language | English |
---|---|
Title of host publication | Proceedings of the 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) |
Pages | 208-222 |
Number of pages | 15 |
Volume | 7609 LNCS |
DOIs | |
Publication status | Published - 15 Oct 2012 |
Event | The 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012) - Heraclion, Greece Duration: 10 Oct 2012 → … |
Conference
Conference | The 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012) |
---|---|
Country/Territory | Greece |
City | Heraclion |
Period | 10/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
- 2 Finished
-
Thesis-M-Cordy: Modular Modelling and Verification of Real-Time Software Product Lines
CORDY, M., Heymans, P. & SCHOBBENS, P.
1/10/11 → 30/09/15
Project: PHD
-
Thesis-X-Devroey: Behavioural Model Based Testing of Software Product Lines
Devroey, X., Heymans, P., SCHOBBENS, P. & Perrouin, G.
1/09/11 → 30/08/17
Project: PHD
Student theses
-
Behavioural model-based testing of software product lines
Author: Devroey, X., 30 Aug 2017Supervisor: 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 types › Doctor of Sciences
File