Coverage criteria for behavioural testing of software product lines

Xavier Devroey; Gilles Perrouin; Axel Legay; Maxime Cordy; Pierre-Yves Schobbens; Patrick Heymans

Coverage criteria for behavioural testing of software product lines

Xavier Devroey, Gilles Perrouin, Axel Legay, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

245 Downloads (Pure)

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/Territory	Greece
City	Imperial, Corfu
Period	8/10/14 → 11/10/14

Keywords

Coverage criteria
Model based testing
Software product line engineering

Access to Document

isola2014
The final publication is available at link.springer.com
Accepted author manuscript, 725 KB

Cite this

Devroey, X., Perrouin, G., Legay, A., Cordy, M., Schobbens, P.-Y., & Heymans, P. (2014). Coverage criteria for behavioural testing of software product lines. In Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA) (Vol. 8802, pp. 336-350). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8802). Springer Verlag.

Devroey, Xavier ; Perrouin, Gilles ; Legay, Axel et al. / Coverage criteria for behavioural testing of software product lines. Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA). Vol. 8802 Springer Verlag, 2014. pp. 336-350 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{7f3f746d86ec4d50ab0e88c4be60b187,

title = "Coverage criteria for behavioural testing of software product lines",

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{\textquoteright} 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.",

keywords = "Coverage criteria, Model based testing, Software product line engineering",

author = "Xavier Devroey and Gilles Perrouin and Axel Legay and Maxime Cordy and Pierre-Yves Schobbens and Patrick Heymans",

year = "2014",

month = nov,

day = "8",

language = "English",

isbn = "9783662452332",

volume = "8802",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "336--350",

booktitle = "Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA)",

address = "Germany",

note = "6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 ; Conference date: 08-10-2014 Through 11-10-2014",

}

Devroey, X , Perrouin, G, Legay, A, Cordy, M , Schobbens, P-Y & Heymans, P 2014, Coverage criteria for behavioural testing of software product lines. in Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA). vol. 8802, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8802, Springer Verlag, pp. 336-350, 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, Imperial, Corfu, Greece, 8/10/14.

Coverage criteria for behavioural testing of software product lines. / Devroey, Xavier ; Perrouin, Gilles; Legay, Axel et al.
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

AN - SCOPUS:84910645298

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

T2 - 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014

Y2 - 8 October 2014 through 11 October 2014

ER -

Devroey X , Perrouin G, Legay A, Cordy M , Schobbens PY , Heymans P. Coverage criteria for behavioural testing of software product lines. In 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)).

Coverage criteria for behavioural testing of software product lines

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

VIBeS: Variability Intensive system Behavioural teSting

Thesis-X-Devroey: Behavioural Model Based Testing of Software Product Lines

Journée Ligne de Produits '14

6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

VIBeS Case Studies: Featured Transition Systems and Feature Models

Behavioural model-based testing of software product lines

Cite this

Coverage criteria for behavioural testing of software product lines

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Research output

VIBeS: Variability Intensive system Behavioural teSting

Projects

Thesis-X-Devroey: Behavioural Model Based Testing of Software Product Lines

Activities

Journée Ligne de Produits '14

6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

Datasets

VIBeS Case Studies: Featured Transition Systems and Feature Models

Student theses

Behavioural model-based testing of software product lines

Cite this