PACOGEN: Automatic Generation of Pairwise Test Configurations from Feature Models

  • Authors:
  • Aymeric Hervieu;Benoit Baudry;Arnaud Gotlieb

  • Affiliations:
  • -;-;-

  • Venue:
  • ISSRE '11 Proceedings of the 2011 IEEE 22nd International Symposium on Software Reliability Engineering
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

Feature models are commonly used to specify variability in software product lines. Several tools support feature models for variability management at different steps in the development process. However, tool support for test configuration generation is currently limited. This test generation task consists in systematically selecting a set of configurations that represent a relevant sample of the variability space and that can be used to test the product line. In this paper we propose \pw tool to analyze feature models and automatically generate a set of configurations that cover all pair wise interactions between features. \pw tool relies on constraint programming to generate configurations that satisfy all constraints imposed by the feature model and to minimize the set of the tests configurations. This work also proposes an extensive experiment, based on the state-of-the art SPLOT feature models repository, showing that \pw tool scales over variability spaces with millions of configurations and covers pair wise with less configurations than other available tools.