Towards Statistical Prioritization for Software Product Lines Testing

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

205 Downloads (Pure)

Résumé

Software Product Lines (SPL) are inherently difficult to test due to the combinatorial explosion of the number of products to consider. To reduce the number of products to test, sampling techniques such as combinatorial interaction testing have been proposed. They usually start from a feature model and apply a coverage criterion (e.g. pairwise feature interaction or dissimilarity) to generate tractable, fault-finding, lists of configurations to be tested. Prioritization can also be used to sort/generate such lists, optimizing coverage criteria or weights assigned to features. However, current sampling/prioritization techniques barely take product behavior into account. We explore how ideas of statistical testing, based on a usage model (a Markov chain), can be used to extract configurations of interest according to the likelihood of their executions. These executions are gathered in featured transition systems, compact representation of SPL behavior. We discuss possible scenarios and give a prioritization procedure illustrated on an example.
langue originaleAnglais
titreProceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
Sous-titreVaMoS '14
rédacteurs en chefAndrzej Wasowski, Thorsten Weyer
Lieu de publicationSophia Antipolis, France
EditeurACM Press
Pages10:1-10:7
Nombre de pages8
VolumeVaMoS '14
ISBN (imprimé)978-1-4503-2556-1
Les DOIs
étatPublié - 22 janv. 2014
EvénementThe 8th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS '14) - Nice, France
Durée: 22 janv. 201424 janv. 2014

Comité scientifique

Comité scientifiqueThe 8th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS '14)
PaysFrance
La villeNice
période22/01/1424/01/14

Empreinte digitale

Testing
Markov processes
Explosions
Sampling

Citer ceci

Devroey, X., Cordy, M., Perrouin, G., Schobbens, P-Y., Legay, A., & Heymans, P. (2014). Towards Statistical Prioritization for Software Product Lines Testing. Dans A. Wasowski, & T. Weyer (eds.), Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems: VaMoS '14 (Vol VaMoS '14, p. 10:1-10:7). [10] Sophia Antipolis, France: ACM Press. https://doi.org/10.1145/2556624.2556635
Devroey, Xavier ; Cordy, Maxime ; Perrouin, Gilles ; Schobbens, Pierre-Yves ; Legay, Axel ; Heymans, Patrick. / Towards Statistical Prioritization for Software Product Lines Testing. Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems: VaMoS '14 . Editeur / Andrzej Wasowski ; Thorsten Weyer. Vol VaMoS '14 Sophia Antipolis, France : ACM Press, 2014. p. 10:1-10:7
@inproceedings{336491a97e084fa9aee2c8d9017e906d,
title = "Towards Statistical Prioritization for Software Product Lines Testing",
abstract = "Software Product Lines (SPL) are inherently difficult to test due to the combinatorial explosion of the number of products to consider. To reduce the number of products to test, sampling techniques such as combinatorial interaction testing have been proposed. They usually start from a feature model and apply a coverage criterion (e.g. pairwise feature interaction or dissimilarity) to generate tractable, fault-finding, lists of configurations to be tested. Prioritization can also be used to sort/generate such lists, optimizing coverage criteria or weights assigned to features. However, current sampling/prioritization techniques barely take product behavior into account. We explore how ideas of statistical testing, based on a usage model (a Markov chain), can be used to extract configurations of interest according to the likelihood of their executions. These executions are gathered in featured transition systems, compact representation of SPL behavior. We discuss possible scenarios and give a prioritization procedure illustrated on an example.",
keywords = "Software Product Line, Software Testing, Software Product Line Testing, Prioritization, Statistical Testing",
author = "Xavier Devroey and Maxime Cordy and Gilles Perrouin and Pierre-Yves Schobbens and Axel Legay and Patrick Heymans",
year = "2014",
month = "1",
day = "22",
doi = "10.1145/2556624.2556635",
language = "English",
isbn = "978-1-4503-2556-1",
volume = "VaMoS '14",
pages = "10:1--10:7",
editor = "Andrzej Wasowski and Thorsten Weyer",
booktitle = "Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems",
publisher = "ACM Press",
address = "United States",

}

Devroey, X, Cordy, M, Perrouin, G, Schobbens, P-Y, Legay, A & Heymans, P 2014, Towards Statistical Prioritization for Software Product Lines Testing. Dans A Wasowski & T Weyer (eds), Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems: VaMoS '14 . VOL. VaMoS '14, 10, ACM Press, Sophia Antipolis, France, p. 10:1-10:7, The 8th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS '14), Nice, France, 22/01/14. https://doi.org/10.1145/2556624.2556635

Towards Statistical Prioritization for Software Product Lines Testing. / Devroey, Xavier; Cordy, Maxime; Perrouin, Gilles; Schobbens, Pierre-Yves; Legay, Axel; Heymans, Patrick.

Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems: VaMoS '14 . Ed. / Andrzej Wasowski; Thorsten Weyer. Vol VaMoS '14 Sophia Antipolis, France : ACM Press, 2014. p. 10:1-10:7 10.

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 - Towards Statistical Prioritization for Software Product Lines Testing

AU - Devroey, Xavier

AU - Cordy, Maxime

AU - Perrouin, Gilles

AU - Schobbens, Pierre-Yves

AU - Legay, Axel

AU - Heymans, Patrick

PY - 2014/1/22

Y1 - 2014/1/22

N2 - Software Product Lines (SPL) are inherently difficult to test due to the combinatorial explosion of the number of products to consider. To reduce the number of products to test, sampling techniques such as combinatorial interaction testing have been proposed. They usually start from a feature model and apply a coverage criterion (e.g. pairwise feature interaction or dissimilarity) to generate tractable, fault-finding, lists of configurations to be tested. Prioritization can also be used to sort/generate such lists, optimizing coverage criteria or weights assigned to features. However, current sampling/prioritization techniques barely take product behavior into account. We explore how ideas of statistical testing, based on a usage model (a Markov chain), can be used to extract configurations of interest according to the likelihood of their executions. These executions are gathered in featured transition systems, compact representation of SPL behavior. We discuss possible scenarios and give a prioritization procedure illustrated on an example.

AB - Software Product Lines (SPL) are inherently difficult to test due to the combinatorial explosion of the number of products to consider. To reduce the number of products to test, sampling techniques such as combinatorial interaction testing have been proposed. They usually start from a feature model and apply a coverage criterion (e.g. pairwise feature interaction or dissimilarity) to generate tractable, fault-finding, lists of configurations to be tested. Prioritization can also be used to sort/generate such lists, optimizing coverage criteria or weights assigned to features. However, current sampling/prioritization techniques barely take product behavior into account. We explore how ideas of statistical testing, based on a usage model (a Markov chain), can be used to extract configurations of interest according to the likelihood of their executions. These executions are gathered in featured transition systems, compact representation of SPL behavior. We discuss possible scenarios and give a prioritization procedure illustrated on an example.

KW - Software Product Line

KW - Software Testing

KW - Software Product Line Testing

KW - Prioritization

KW - Statistical Testing

U2 - 10.1145/2556624.2556635

DO - 10.1145/2556624.2556635

M3 - Conference contribution

SN - 978-1-4503-2556-1

VL - VaMoS '14

SP - 10:1-10:7

BT - Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems

A2 - Wasowski, Andrzej

A2 - Weyer, Thorsten

PB - ACM Press

CY - Sophia Antipolis, France

ER -

Devroey X, Cordy M, Perrouin G, Schobbens P-Y, Legay A, Heymans P. Towards Statistical Prioritization for Software Product Lines Testing. Dans Wasowski A, Weyer T, rédacteurs en chef, Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems: VaMoS '14 . Vol VaMoS '14. Sophia Antipolis, France: ACM Press. 2014. p. 10:1-10:7. 10 https://doi.org/10.1145/2556624.2556635