Covering SPL Behaviour with Sampled Configurations: An Initial Assessment

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

227 Downloads (Pure)

Abstract

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.
Original languageEnglish
Title of host publicationProceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems
Place of PublicationHildesheim, Germany
PublisherACM Press
Pages59:59-59:66
Number of pages8
Volume21-23-January-2015
ISBN (Print)9781450332736
DOIs
Publication statusPublished - 2015
Event9th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS '15) - Hildesheim, Germany
Duration: 21 Jan 201523 Jan 2015

Publication series

NameVaMoS '15
PublisherACM

Conference

Conference9th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS '15)
CountryGermany
CityHildesheim
Period21/01/1523/01/15

Keywords

  • Featured transition system
  • SPL testing
  • Structural coverage

Fingerprint Dive into the research topics of 'Covering SPL Behaviour with Sampled Configurations: An Initial Assessment'. Together they form a unique fingerprint.

  • Projects

    Activities

    • 1 Participation in conference

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

    Xavier Devroey (Speaker)

    21 Jan 201523 Jan 2015

    Activity: Participating in or organising an event typesParticipation in conference

    Student Theses

    Behavioural model-based testing of software product lines

    Author: Devroey, X., 30 Aug 2017

    Supervisor: Schobbens, P. (Supervisor), Heymans, P. (Supervisor), Englebert, V. (President), Baudry, B. (External person) (Jury), Cohen, M. B. (External person) (Jury), Legay, A. (Jury) & Perrouin, G. (Jury)

    Student thesis: Doc typesDoctor of Sciences

    File

    Cite this

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