Towards automated testing and fixing of re-engineered Feature Models

Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Yves Le Traon
2013 2013 35th International Conference on Software Engineering (ICSE)  
Mass customization of software products requires their efficient tailoring performed through combination of features. Such features and the constraints linking them can be represented by Feature Models (FMs), allowing formal analysis, derivation of specific variants and interactive configuration. Since they are seldom present in existing systems, techniques to reengineer FMs have been proposed. There are nevertheless errorprone and require human intervention. This paper introduces an automated
more » ... earch-based process to test and fix FMs so that they adequately represent actual products. Preliminary evaluation on the Linux kernel FM exhibit erroneous FM constraints and significant reduction of the inconsistencies.
doi:10.1109/icse.2013.6606689 dblp:conf/icse/HenardPPKT04 fatcat:ttbpq22ntrehvejukheeybbmm4