Current
version of FaMa Test Suite can be used to validate the functionality of
the following analysis operations:
Operation | Description |
Valid | This operation takes a feature model as input and returns a value informing whether such feature model is void or not. A feature model is void if it represents no products. |
Valid product | This operation checks whether an input product (i.e. set of features) belongs to the set of products represented by a given feature model or not. |
Products | This operation takes a feature model as input and returns all the products represented by the model. |
Number of products | This operation returns the number of products represented by a feature model. |
Variability | This operation takes a feature model as input and returns the ratio between the number of products and 2n-1 where n is the number of features in the model. |
Commonality | This operation takes a feature model and a feature as inputs and returns a value representing the proportion of valid products in which the feature appears. |
Detect errors | This operation takes a feature model as input and returns a set of dead features (if any). A dead feature is a feature that never appears in any of the products represented by the feature model. |