Using Machine Learning to Infer Constraints for Product Lines - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2016

Using Machine Learning to Infer Constraints for Product Lines

Paul Temple
Mathieu Acher
Jean-Marc Jézéquel


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.
Fichier principal
Vignette du fichier
SPLC_2016_Paper.pdf (10.26 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01323446 , version 1 (30-05-2016)



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. ⟨10.1145/2934466.2934472⟩. ⟨hal-01323446⟩
757 View
683 Download



Gmail Facebook X LinkedIn More