Using Machine Learning to Infer Constraints for Product Lines

Paul Temple 1 José Angel Galindo Duarte 2 Mathieu Acher 1 Jean-Marc Jézéquel 1
2 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : Variability intensive systems may include several thousand features allowing for an enormous number of possible configurations , including wrong ones (e.g. the derived product does not compile). For years, engineers have been using constraints to a priori restrict the space of possible configurations , i.e. to exclude configurations that would violate these constraints. The challenge is to find the set of constraints that would be both precise (allow all correct configurations) and complete (never allow a wrong configuration with respect to some oracle). In this paper, we propose the use of a machine learning approach to infer such product-line constraints from an oracle that is able to assess whether a given product is correct. We propose to randomly generate products from the product line, keeping for each of them its resolution model. Then we classify these products according to the oracle, and use their resolution models to infer cross-tree constraints over the product-line. We validate our approach on a product-line video generator, using a simple computer vision algorithm as an oracle. We show that an interesting set of cross-tree constraint can be generated, with reasonable precision and recall.
Type de document :
Communication dans un congrès
Software Product Line Conference (SPLC), Sep 2016, Beijing, China. Proceedings of the 20th International Systems and Software Product Line Conference, <10.1145/2934466.2934472>
Liste complète des métadonnées

https://hal.inria.fr/hal-01323446
Contributeur : Paul Temple <>
Soumis le : lundi 30 mai 2016 - 17:38:15
Dernière modification le : samedi 18 février 2017 - 01:10:13
Document(s) archivé(s) le : mercredi 31 août 2016 - 10:46:50

Fichier

SPLC_2016_Paper.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Paul Temple, José Angel Galindo Duarte, Mathieu Acher, Jean-Marc Jézéquel. Using Machine Learning to Infer Constraints for Product Lines. Software Product Line Conference (SPLC), Sep 2016, Beijing, China. Proceedings of the 20th International Systems and Software Product Line Conference, <10.1145/2934466.2934472>. <hal-01323446>

Partager

Métriques

Consultations de
la notice

627

Téléchargements du document

324