Testing real-time systems using genetic algorithms
Software Quality Control
A Standard Problem for Evaluating Product-Line Methodologies
GCSE '01 Proceedings of the Third International Conference on Generative and Component-Based Software Engineering
Meta-heuristics: The State of the Art
ECAI '00 Proceedings of the Workshop on Local Search for Planning and Scheduling-Revised Papers
Search-based software test data generation: a survey: Research Articles
Software Testing, Verification & Reliability
Feature Diagrams: A Survey and a Formal Semantics
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Automated analysis of feature models: challenges ahead
Communications of the ACM - Software product line
Verifying feature models using OWL
Web Semantics: Science, Services and Agents on the World Wide Web
Random constraint satisfaction: Easy generation of hard (satisfiable) instances
Artificial Intelligence
Optimization of Variability in Software Product Lines
SPLC '07 Proceedings of the 11th International Software Product Line Conference
A Case Study Implementing Features Using AspectJ
SPLC '07 Proceedings of the 11th International Software Product Line Conference
A BDD-Based Approach to Verifying Clone-Enabled Feature Models' Constraints and Customization
ICSR '08 Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems
Edge Matching Puzzles as Hard SAT/CSP Benchmarks
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Automated Diagnosis of Product-Line Configuration Errors in Feature Models
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Efficient compilation techniques for large scale feature models
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
A systematic review of search-based testing for non-functional system properties
Information and Software Technology
Reasoning about edits to feature models
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
Selecting highly optimal architectural feature sets with Filtered Cartesian Flattening
Journal of Systems and Software
S.P.L.O.T.: software product lines online tools
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Automated reasoning for multi-step feature model configuration problems
Proceedings of the 13th International Software Product Line Conference
SAT-based analysis of feature models is easy
Proceedings of the 13th International Software Product Line Conference
Automated analysis of feature models 20 years later: A literature review
Information Systems
Variability modeling in the real: a perspective from the operating systems domain
Proceedings of the IEEE/ACM international conference on Automated software engineering
Global constraints on feature models
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Reverse engineering feature models
Proceedings of the 33rd International Conference on Software Engineering
Journal of Systems and Software
BeTTy: benchmarking and testing on the automated analysis of feature models
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Automated reasoning on feature models
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Metaheuristic optimization frameworks: a survey and benchmarking
Soft Computing - A Fusion of Foundations, Methodologies and Applications - Special Issue on Bio-inspired Computing for Hybrid Information Technology
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
An algorithm for generating t-wise covering arrays from large feature models
Proceedings of the 16th International Software Product Line Conference - Volume 1
Proceedings of the 16th International Software Product Line Conference - Volume 1
Efficient synthesis of feature models
Proceedings of the 16th International Software Product Line Conference - Volume 1
Pairwise testing for software product lines: comparison of two approaches
Software Quality Control
Reverse engineering feature models with evolutionary algorithms: an exploratory study
SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
Minimizing test suites in software product lines using weight-based genetic algorithms
Proceedings of the 15th annual conference on Genetic and evolutionary computation
Proceedings of the 2013 International Conference on Software Engineering
Multi-objective test generation for software product lines
Proceedings of the 17th International Software Product Line Conference
Multi-objective Optimal Test Suite Computation for Software Product Line Pairwise Testing
ICSM '13 Proceedings of the 2013 IEEE International Conference on Software Maintenance
Hi-index | 12.05 |
A feature model is a compact representation of the products of a software product line. The automated extraction of information from feature models is a thriving topic involving numerous analysis operations, techniques and tools. Performance evaluations in this domain mainly rely on the use of random feature models. However, these only provide a rough idea of the behaviour of the tools with average problems and are not sufficient to reveal their real strengths and weaknesses. In this article, we propose to model the problem of finding computationally hard feature models as an optimization problem and we solve it using a novel evolutionary algorithm for optimized feature models (ETHOM). Given a tool and an analysis operation, ETHOM generates input models of a predefined size maximizing aspects such as the execution time or the memory consumption of the tool when performing the operation over the model. This allows users and developers to know the performance of tools in pessimistic cases providing a better idea of their real power and revealing performance bugs. Experiments using ETHOM on a number of analyses and tools have successfully identified models producing much longer executions times and higher memory consumption than those obtained with random models of identical or even larger size.