Analysis of Feature Tree using Miranda

This thesis submitted in partial fulfillment of the requirements for the degree of Bachelor of Science in Computer Science and Engineering of East West University, Dhaka, Bangladesh.Feature models are used to specify the variability of software product lines. We study a special subset of trees, called generalised feature trees, and show how they can be used to compute properties of the corresponding software product lines. We introduce our paper the concept of generalised feature trees, which are feature trees where features can have multiple occurrences. It is shown how an important class of feature models can be transformed into generalised feature trees. We present algorithms which, after transforming a feature model to a generalised feature tree, compute properties of the corresponding software product line. We discuss the computational complexity of these algorithms and provide executable specifications in the functional programming language Miranda