Automated Analysis of Variability Models: The SeVaTax process

MATIAS POL'LA; AGUSTINA BUCCELLA; ALEJANDRA CECHICH

Melbourne

Conferencia; 18th International Conference on Computational Science and Applications (ICCSA 2018); 2018

Variability management includes a set of techniques and methods fordefining, modeling, implementing and testing variabilities within the development of a Software Product Line (SPL). Within the testing activity, several approaches have proposed novel techniques for automatic analysis of variability models. However, in spite of the research community has reached some consensus about the base scenarios that should be evaluated, the large number of modeling approaches makes that the way of evaluating those scenarios is still extensively researched.In this work we propose the SeVaTax process which takes variability models based on orthogonal variability model (OVM) primitives as inputs, and generates a formal model representation. Then, it uses a SAT-based solver for analyzing a wide set of validation scenarios and provides a different level of responses, even proposing some specific actions for correcting the models. Finally, we compare our proposal to others in the literature, based on the supported validations.