Projects per year
Abstract
Featured Transition Systems (FTS) is a mathematical structure to represent the behaviour of software product line in a concise way. The combination of the well-known transition systems approach to formal behavioural modelling with feature expressions was pivotal to the design of efficient verification approaches. Such approaches indeed avoid to consider products’ behaviour independently, leading to often exponential savings. Building on this successful structure, we lay the foundations of model-based testing approach to SPLs. We define several FTS-aware coverage criteria and report on our experience combining FTS with usage-based testing for configurable websites.
Original language | English |
---|---|
Title of host publication | Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA) |
Publisher | Springer Verlag |
Pages | 336-350 |
Number of pages | 15 |
Volume | 8802 |
ISBN (Print) | 9783662452332 |
Publication status | Published - 8 Nov 2014 |
Event | 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 - Imperial, Corfu, Greece Duration: 8 Oct 2014 → 11 Oct 2014 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 8802 |
ISSN (Print) | 03029743 |
ISSN (Electronic) | 16113349 |
Conference
Conference | 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 |
---|---|
Country | Greece |
City | Imperial, Corfu |
Period | 8/10/14 → 11/10/14 |
Keywords
- Coverage criteria
- Model based testing
- Software product line engineering
Fingerprint Dive into the research topics of 'Coverage criteria for behavioural testing of software product lines'. Together they form a unique fingerprint.
Projects
- 1 Finished
-
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
Activities
-
Journée Ligne de Produits '14
Xavier Devroey (Speaker)
9 Dec 2014Activity: Participating in or organising an event types › Participation to a Symposium, a study Day
-
6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
Xavier Devroey (Speaker)
8 Oct 2014 → 11 Oct 2014Activity: Participating in or organising an event types › Participation in conference
Datasets
-
VIBeS Case Studies: Featured Transition Systems and Feature Models
DEVROEY, X. (Creator), University of Namur, Oct 2020
Dataset
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