Practical Pairwise Testing for Software Product Lines

Dusica Marijan 1 Arnaud Gotlieb 1, 2 Sagar Sen 1 Aymeric Hervieu 3
2 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
3 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : One key challenge for software product lines is efficiently managing variability throughout their lifecycle. In this paper, we address the problem of variability in software product lines testing. We (1) identify a set of issues that must be addressed to make software product line testing work in practice and (2) provide a framework that combines a set of techniques to solve these issues. The framework integrates feature modelling, combinatorial interaction testing and constraint programming techniques. First, we extract variability in a software product line as a feature model with specified feature interdependencies. We then employ an algorithm that generates a minimal set of valid test cases covering all 2-way feature interactions for a given time interval. Furthermore, we evaluate the framework on an industrial SPL and show that using the framework saves time and provides better test coverage. In particular, our experiments show that the framework improves industrial testing practice in terms of (i) 17% smaller set of test cases that are (a) valid and (b) guarantee all 2-way feature coverage (as opposite to 19.2% 2-way feature coverage in the hand made test set), and (ii) full flexibility and adjustment of test generation to available testing time.
Type de document :
Communication dans un congrès
SPLC 2013, Aug 2013, Tokyo, Japan. 2013
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00859438
Contributeur : Aymeric Hervieu <>
Soumis le : dimanche 8 septembre 2013 - 09:51:06
Dernière modification le : mercredi 2 août 2017 - 10:07:03
Document(s) archivé(s) le : jeudi 6 avril 2017 - 16:39:21

Fichier

splc2013_submission_63_2_.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00859438, version 1

Citation

Dusica Marijan, Arnaud Gotlieb, Sagar Sen, Aymeric Hervieu. Practical Pairwise Testing for Software Product Lines. SPLC 2013, Aug 2013, Tokyo, Japan. 2013. 〈hal-00859438〉

Partager

Métriques

Consultations de
la notice

432

Téléchargements du document

790