Covering SPL Behaviour with Sampled Configurations: An Initial Assessment

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

243 Téléchargements (Pure)

Résumé

Structural approaches to Software Product Lines (SPL) testing (such as pairwise testing) have gained momentum as they are able to scale to larger SPLs described as feature diagrams (FD). However, these methods are agnostic with respect to behaviour: the sampled configurations have thus no reason to satisfy any given behavioural criterion. In this paper, we investigate the behavioural coverage of two structural testing criteria: pairwise and similarity. To do so, we modelled four SPLs in terms of feature diagrams and associated featured transitions systems (FTSs). We then computed state, action and transition coverage for a set of generated configurations. Preliminary results indicate that for relatively small variability models with few cross-tree constraints, structural coverage-driven tools tend to cover large parts of behaviour with less than 8 configurations. Though structural coverage cannot be used directly as a replacement for behavioural driven SPL test generation, opportunities to mix structural and behavioural coverage for efficient and effective SPL testing do exist.
langue originaleAnglais
titreProceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems
Lieu de publicationHildesheim, Germany
EditeurACM Press
Pages59:59-59:66
Nombre de pages8
Volume21-23-January-2015
ISBN (imprimé)9781450332736
Les DOIs
Etat de la publicationPublié - 2015
Evénement9th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS '15) - Hildesheim, Allemagne
Durée: 21 janv. 201523 janv. 2015

Série de publications

NomVaMoS '15
EditeurACM

Une conférence

Une conférence9th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS '15)
PaysAllemagne
La villeHildesheim
période21/01/1523/01/15

Empreinte digitale Examiner les sujets de recherche de « Covering SPL Behaviour with Sampled Configurations: An Initial Assessment ». Ensemble, ils forment une empreinte digitale unique.

  • Projets

    Activités

    • 1 Participation à une conférence, un congrès

    9th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS '15)

    Xavier Devroey (Conférencier)

    21 janv. 201523 janv. 2015

    Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

    Thèses de l'étudiant

    Behavioural model-based testing of software product lines

    Author: Devroey, X., 30 août 2017

    Superviseur: Schobbens, P. (Promoteur), Heymans, P. (Promoteur), Englebert, V. (Président), Baudry, B. (Personne externe) (Jury), Cohen, M. B. (Personne externe) (Jury), Legay, A. (Jury) & Perrouin, G. (Jury)

    Thèse de l'étudiant: Doc typesDocteur en Sciences

    Fichier

    Contient cette citation

    Devroey, X., Perrouin, G., Legay, A., Schobbens, P-Y., & Heymans, P. (2015). Covering SPL Behaviour with Sampled Configurations: An Initial Assessment. Dans Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems (Vol 21-23-January-2015, p. 59:59-59:66). (VaMoS '15). ACM Press. https://doi.org/10.1145/2701319.2701325