When to Sample from Feature Diagrams?
Uniform random sampling (URS) has many applications in configurable systems analysis.Usually, feature models consisting of a hierarchical feature diagram and additional side constraints specify the space of valid configurations to be sampled from.However, URS has predominately been applied on feature models translated a priori into conjunctive normal form (CNF).In this work, we study URS approaches that instead operate directly on feature diagrams and provide a comparative evaluation of their performance against well-established URS tools for CNF representations.Our findings suggest that translating feature models to CNF offers advantages, even in the presence of only few side constraints. CCS Concepts Software and its engineering Software product lines.
Authors
- Holger Hermanns (ORCID: https://orcid.org/0000-0002-2766-9615)
- Nikolai Käfer (ORCID: https://orcid.org/0000-0002-0645-1078)
- Clemens Dubslaff (ORCID: https://orcid.org/0000-0001-5718-8276)
- Sven Apel (ORCID: https://orcid.org/0000-0003-3687-2233)
- Christel Baier (ORCID: https://orcid.org/0000-0002-5321-9343)
Institutions
- Technische Universität Dresden (DE)
- Eindhoven University of Technology (NL)
- Saarland University (DE)
Publication Details
- Published
- 2025-02-04
- DOI
- https://doi.org/10.1145/3715340.3715442
- Primary Topic
- Software Testing and Debugging Techniques
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- Deutsche Forschungsgemeinschaft
- Nederlandse Organisatie voor Wetenschappelijk Onderzoek