|Home \ Prototypes \ Prototype Page||Login|
VCC - Variability Consistency Checking Tool
Software Product Line Engineering (SPLE) is a successful paradigm to produce a family of products for a specific domain. A challenge in SPLE is to check that different models used in early SPL specification do not contain inconsistent information that may be propagated and generate inconsistent products that do not conform to its requirements. This challenge is difficult to address due to the high number of possible combinations of product features and model fragments specifying those features. VCC (Variability Consistency Checking) offers automatic means to address that challenge. VCC relates information inferred from the relationships between features and from base models related to those features. Validating if all the products in an SPL satisfy user-defined consistency constraints is based on searching for a satisfying assignment of each of the formulas generated by VCC. VCC and its supporting tool were validated on two case studies from different application domains, and the results were encouraging as no significant performance penalties were observed.
Date: December, 2012
Authors: Ana Moreira, Mauricio Alférez, Vasco Amaral