Uniform Random Sampling Product Configurations of Feature Models That Have Numerical Features
Daniel-Jesús Munoz, Jeho Oh, Mónica Pinto, Lidia Fuentes, Don S. Batory · 2019
Analyses of Software Product Lines (SPLs) rely on automated solvers to navigate complex dependencies among features and find legal configurations. Often these analyses do not support numerical features with constraints because propositional formulas use only Boolean variables. Some automated solvers can represent numerical features natively, but are limited in their ability to count and Uniform Random Sample (URS) configurations, which are key operations to derive unbiased statistics on configuration spaces.