Ponencia
Uniform and scalable SAT-sampling for configurable systems
Autor/es | Heradio, Ruben
Fernández Amorós, David Galindo Duarte, José Ángel Benavides Cuevas, David Felipe |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 2020 |
Fecha de depósito | 2021-11-03 |
Publicado en |
|
ISBN/ISSN | 978-1-4503-7569-6 |
Resumen | Several relevant analyses on configurable software systems remain intractable because they require examining vast and highly-constrained configuration spaces. Those analyses could be addressed through statistical inference, ... Several relevant analyses on configurable software systems remain intractable because they require examining vast and highly-constrained configuration spaces. Those analyses could be addressed through statistical inference, i.e., working with a much more tractable sample that later supports generalizing the results obtained to the entire configuration space. To make this possible, the laws of statistical inference impose an indispensable requirement: each member of the population must be equally likely to be included in the sample, i.e., the sampling process needs to be "uniform". Various SAT-samplers have been developed for generating uniform random samples at a reasonable computational cost. Unfortunately, there is a lack of experimental validation over large configuration models to show whether the samplers indeed produce genuine uniform samples or not. This paper (i) presents a new statistical test to verify to what extent samplers accomplish uniformity and (ii) reports the evaluation of four state-of-the-art samplers: Spur, QuickSampler, Unigen2, and Smarch. According to our experimental results, only Spur satisfies both scalability and uniformity. |
Agencias financiadoras | Ministerio de Ciencia, Innovación y Universidades (MICINN). España Comunidad Autónoma de Madrid Agencia Estatal de Investigación. España |
Identificador del proyecto | VITAL-3D DPI2016-77677-P
OPHELIA RTI2018-101204-B-C22 CAM RoboCity2030 S2013/MIT-2748 TIN2017-90644-REDT |
Cita | Heradio, R., Fernández Amorós, D., Galindo Duarte, J.Á. y Benavides Cuevas, D.F. (2020). Uniform and scalable SAT-sampling for configurable systems. En SPLC 2020: 24th International Systems and Software Product Line Conference (1-11), Montreal, Quebec, Canada: Association for Computing Machinery (ACM). |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Uniform and scalable SAT-sampling ... | 644.1Kb | [PDF] | Ver/ | |