Uniform and scalable sampling of highly configurable systems

Heradio, Rubén, Fernández Amoros, David, Galindo, José A., Benavides, David y Batory, Don . (2022) Uniform and scalable sampling of highly configurable systems. Empirical Software Engineering 27, 44 (2022)

Ficheros (Some files may be inaccessible until you login with your e-spacio credentials)
Nombre Descripción Tipo MIME Size
Heradio_Ruben_Uniform_and_Scalable_Sampling.pdf Heradio_Ruben_Uniform_and_Scalable_Sampling.pdf application/pdf 27.76MB

Título Uniform and scalable sampling of highly configurable systems
Autor(es) Heradio, Rubén
Fernández Amoros, David
Galindo, José A.
Benavides, David
Batory, Don
Materia(s) Ingeniería Informática
Abstract Many analyses on configurable software systems are intractable when confronted with colossal and highly-constrained configuration spaces. These analyses could instead use statistical inference, where a tractable sample accurately predicts results for the entire space. To do so, the laws of statistical inference requires each member of the population to be equally likely to be included in the sample, i.e., the sampling process needs to be “uniform”. SAT-samplers have been developed to generate uniform random samples at a reasonable computational cost. However, there is a lack of experimental validation over colossal spaces to show whether the samplers indeed produce uniform samples or not. This paper (i) proposes a new sampler named BDDSampler, (ii) presents a new statistical test to verify sampler uniformity, and (iii) reports the evaluation of BDDSampler and five other state-of-the-art samplers: KUS, QuickSampler, Smarch, Spur, and Unigen2. Our experimental results show only BDDSampler satisfies both scalability and uniformity.
Palabras clave Uniform sampling
Confgurable systems
Software product lines
Binary decision diagrams
SAT-solvers
Editor(es) Springer
Fecha 2022-01-21
Formato application/pdf
Identificador bibliuned:DptoISSI-ETSI-Articulos-Rheradio-0004
http://e-spacio.uned.es/fez/view/bibliuned:DptoISSI-ETSI-Articulos-Rheradio-0004
DOI - identifier https://doi.org/10.1007/s10664-021-10102-5
ISSN - identifier 1382-3256; eISSN: 1573-7616
Nombre de la revista Empirical Software Engineering
Número de Volumen 27
Número de Issue 44
Publicado en la Revista Empirical Software Engineering 27, 44 (2022)
Idioma eng
Versión de la publicación acceptedVersion
Tipo de recurso Article
Derechos de acceso y licencia http://creativecommons.org/licenses/by/4.0
info:eu-repo/semantics/openAccess
Tipo de acceso Acceso abierto
Notas adicionales This is a Accepted Manuscript of an article published by Springer in "Empirical Software Engineering 27, 44 (2022)", available at: https://doi.org/10.1007/s10664-021-10102-5
Notas adicionales Este es el manuscrito aceptado del artículo publicado por Springer en "Empirical Software Engineering 27, 44 (2022)", disponible en línea: https://doi.org/10.1007/s10664-021-10102-5

 
Versiones
Versión Tipo de filtro
Contador de citas: Google Scholar Search Google Scholar
Estadísticas de acceso: 32 Visitas, 10 Descargas  -  Estadísticas en detalle
Creado: Fri, 03 May 2024, 22:01:20 CET