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 |
Fingerprint
Keywords
- Coverage criteria
- Model based testing
- Software product line engineering
Cite this
}
Coverage criteria for behavioural testing of software product lines. / Devroey, Xavier; Perrouin, Gilles; Legay, Axel; Cordy, Maxime; Schobbens, Pierre-Yves; Heymans, Patrick.
Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA). Vol. 8802 Springer Verlag, 2014. p. 336-350 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8802).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
TY - GEN
T1 - Coverage criteria for behavioural testing of software product lines
AU - Devroey, Xavier
AU - Perrouin, Gilles
AU - Legay, Axel
AU - Cordy, Maxime
AU - Schobbens, Pierre-Yves
AU - Heymans, Patrick
PY - 2014/11/8
Y1 - 2014/11/8
N2 - 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.
AB - 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.
KW - Coverage criteria
KW - Model based testing
KW - Software product line engineering
UR - http://www.scopus.com/inward/record.url?scp=84910645298&partnerID=8YFLogxK
M3 - Conference contribution
SN - 9783662452332
VL - 8802
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 336
EP - 350
BT - Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA)
PB - Springer Verlag
ER -