Automated test data generation on the analyses of feature models: A metamorphic testing approach

  • Segura S
  • Hierons R
  • Benavides D
 et al. 
  • 1


    Mendeley users who have this article in their library.
  • N/A


    Citations of this article.


A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction of information from FMs is a thriving research topic involving a number of analysis operations, algorithms, paradigms and tools. Implementing these operations is far from trivial and easily leads to errors and defects in analysis solutions. Current testing methods in this context mainly rely on the ability of the tester to decide whether the output of an analysis is correct. However, this is acknowledged to be time-consuming, error-prone and in most cases infeasible due to the combinatorial complexity of the analyses. In this paper, we present a set of relations (so-called metamorphic relations) between input FMs and their set of products and a test data generator relying on them. Given an FM and its known set of products, a set of neighbour FMs together with their corresponding set of products are automatically generated and used for testing different analyses. Complex FMs representing millions of products can be efficiently created applying this process iteratively. The evaluation of our approach using mutation testing as well as real faults and tools reveals that most faults can be automatically detected within a few seconds. © 2010 IEEE.

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • Sergio Segura

  • Robert M. Hierons

  • David Benavides

  • Antonio Ruiz-Cortés

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free