Abstract test case generation for behavioural testing of software product lines

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

51 Downloads (Pure)

Résumé

In Model Based Testing (MBT), test cases are generated automatically from a partial representation of expected behaviour of the System Under Test (SUT) (i.e., the model). For most industrial systems, it is impossible to generate all the possible test cases from the model. The test engineer recourse to generation algorithms that maximize a given coverage criterion, a metric indicating the percentage of possible behaviours of the SUT covered by the test cases. Our previous work redefined classical Transition Systems (TSs) criteria for SPLs, using Featured Transition Systems (FTSs), a mathematical structure to compactly represent the behaviour of a SPL, as model for test case generation. In this paper, we provide one all-states coverage driven generation algorithm and discuss its scalability and efficiency with respect to random generation. All-states and random generation are compared on fault-seeded FTSs.

langue originaleAnglais
titreACM International Conference Proceeding Series
Lieu de publicationFlorence, Italy
EditeurACM Press
Pages86-93
Nombre de pages8
Volume2
ISBN (imprimé)9781450327398
Les DOIs
étatPublié - 15 sept. 2014
Evénement18th International Software Product Line Conference, SPLC 2014 - Florence, Italie
Durée: 15 sept. 201419 sept. 2014

Série de publications

NomSPLC '14
EditeurACM

Une conférence

Une conférence18th International Software Product Line Conference, SPLC 2014
PaysItalie
La villeFlorence
période15/09/1419/09/14

Empreinte digitale

Testing
Scalability
Engineers

Citer ceci

Devroey, X., Perrouin, G., & Schobbens, P-Y. (2014). Abstract test case generation for behavioural testing of software product lines. Dans ACM International Conference Proceeding Series (Vol 2, p. 86-93). (SPLC '14). Florence, Italy: ACM Press. https://doi.org/10.1145/2647908.2655971
Devroey, Xavier ; Perrouin, Gilles ; Schobbens, Pierre-Yves. / Abstract test case generation for behavioural testing of software product lines. ACM International Conference Proceeding Series. Vol 2 Florence, Italy : ACM Press, 2014. p. 86-93 (SPLC '14).
@inproceedings{234870b32249482a8606d9ee21aaac3e,
title = "Abstract test case generation for behavioural testing of software product lines",
abstract = "In Model Based Testing (MBT), test cases are generated automatically from a partial representation of expected behaviour of the System Under Test (SUT) (i.e., the model). For most industrial systems, it is impossible to generate all the possible test cases from the model. The test engineer recourse to generation algorithms that maximize a given coverage criterion, a metric indicating the percentage of possible behaviours of the SUT covered by the test cases. Our previous work redefined classical Transition Systems (TSs) criteria for SPLs, using Featured Transition Systems (FTSs), a mathematical structure to compactly represent the behaviour of a SPL, as model for test case generation. In this paper, we provide one all-states coverage driven generation algorithm and discuss its scalability and efficiency with respect to random generation. All-states and random generation are compared on fault-seeded FTSs.",
keywords = "Model-based testing, Software product line, Test case generation",
author = "Xavier Devroey and Gilles Perrouin and Pierre-Yves Schobbens",
year = "2014",
month = "9",
day = "15",
doi = "10.1145/2647908.2655971",
language = "English",
isbn = "9781450327398",
volume = "2",
series = "SPLC '14",
publisher = "ACM Press",
pages = "86--93",
booktitle = "ACM International Conference Proceeding Series",
address = "United States",

}

Devroey, X, Perrouin, G & Schobbens, P-Y 2014, Abstract test case generation for behavioural testing of software product lines. Dans ACM International Conference Proceeding Series. VOL. 2, SPLC '14, ACM Press, Florence, Italy, p. 86-93, 18th International Software Product Line Conference, SPLC 2014, Florence, Italie, 15/09/14. https://doi.org/10.1145/2647908.2655971

Abstract test case generation for behavioural testing of software product lines. / Devroey, Xavier; Perrouin, Gilles; Schobbens, Pierre-Yves.

ACM International Conference Proceeding Series. Vol 2 Florence, Italy : ACM Press, 2014. p. 86-93 (SPLC '14).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

TY - GEN

T1 - Abstract test case generation for behavioural testing of software product lines

AU - Devroey, Xavier

AU - Perrouin, Gilles

AU - Schobbens, Pierre-Yves

PY - 2014/9/15

Y1 - 2014/9/15

N2 - In Model Based Testing (MBT), test cases are generated automatically from a partial representation of expected behaviour of the System Under Test (SUT) (i.e., the model). For most industrial systems, it is impossible to generate all the possible test cases from the model. The test engineer recourse to generation algorithms that maximize a given coverage criterion, a metric indicating the percentage of possible behaviours of the SUT covered by the test cases. Our previous work redefined classical Transition Systems (TSs) criteria for SPLs, using Featured Transition Systems (FTSs), a mathematical structure to compactly represent the behaviour of a SPL, as model for test case generation. In this paper, we provide one all-states coverage driven generation algorithm and discuss its scalability and efficiency with respect to random generation. All-states and random generation are compared on fault-seeded FTSs.

AB - In Model Based Testing (MBT), test cases are generated automatically from a partial representation of expected behaviour of the System Under Test (SUT) (i.e., the model). For most industrial systems, it is impossible to generate all the possible test cases from the model. The test engineer recourse to generation algorithms that maximize a given coverage criterion, a metric indicating the percentage of possible behaviours of the SUT covered by the test cases. Our previous work redefined classical Transition Systems (TSs) criteria for SPLs, using Featured Transition Systems (FTSs), a mathematical structure to compactly represent the behaviour of a SPL, as model for test case generation. In this paper, we provide one all-states coverage driven generation algorithm and discuss its scalability and efficiency with respect to random generation. All-states and random generation are compared on fault-seeded FTSs.

KW - Model-based testing

KW - Software product line

KW - Test case generation

UR - http://www.scopus.com/inward/record.url?scp=84907833970&partnerID=8YFLogxK

U2 - 10.1145/2647908.2655971

DO - 10.1145/2647908.2655971

M3 - Conference contribution

AN - SCOPUS:84907833970

SN - 9781450327398

VL - 2

T3 - SPLC '14

SP - 86

EP - 93

BT - ACM International Conference Proceeding Series

PB - ACM Press

CY - Florence, Italy

ER -

Devroey X, Perrouin G, Schobbens P-Y. Abstract test case generation for behavioural testing of software product lines. Dans ACM International Conference Proceeding Series. Vol 2. Florence, Italy: ACM Press. 2014. p. 86-93. (SPLC '14). https://doi.org/10.1145/2647908.2655971