A Standard Problem for Evaluating Product-Line Methodologies
GCSE '01 Proceedings of the Third International Conference on Generative and Component-Based Software Engineering
Software Fault Interactions and Implications for Software Testing
IEEE Transactions on Software Engineering
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Feature refactoring a multi-representation program into a product line
Proceedings of the 5th international conference on Generative programming and component engineering
IEEE Transactions on Software Engineering
Adding Standardized Variability to Domain Specific Languages
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Automated reasoning for multi-step feature model configuration problems
Proceedings of the 13th International Software Product Line Conference
Context awareness for dynamic service-oriented product lines
Proceedings of the 13th International Software Product Line Conference
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
Using domain specific languages for product line engineering
Proceedings of the 13th International Software Product Line Conference
Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines
ICST '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation
Incremental Test Generation for Software Product Lines
IEEE Transactions on Software Engineering
On the possibility of faster SAT algorithms
SODA '10 Proceedings of the twenty-first annual ACM-SIAM symposium on Discrete Algorithms
Software product line testing - A systematic mapping study
Information and Software Technology
A survey of combinatorial testing
ACM Computing Surveys (CSUR)
Improving the testing and testability of software product lines
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Evaluating improvements to a meta-heuristic search for constrained interaction testing
Empirical Software Engineering
Reverse engineering feature models
Proceedings of the 33rd International Conference on Software Engineering
A Survey of Empirics of Strategies for Software Product Line Testing
ICSTW '11 Proceedings of the 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Bow tie testing: a testing pattern for product lines
Proceedings of the 16th European Conference on Pattern Languages of Programs
An algorithm for generating t-wise covering arrays from large feature models
Proceedings of the 16th International Software Product Line Conference - Volume 1
Strategies for testing products in software product lines
ACM SIGSOFT Software Engineering Notes
Generating better partial covering arrays by modeling weights on sub-product lines
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Using feature model knowledge to speed up the generation of covering arrays
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
Scalable analysis of variable software
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
PLEDGE: a product line editor and test generation tool
Proceedings of the 17th International Software Product Line Conference co-located workshops
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
The Drupal framework: a case study to evaluate variability testing techniques
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
Hi-index | 0.00 |
Feature models and associated feature diagrams allow modeling and visualizing the constraints leading to the valid products of a product line. In terms of their expressiveness, feature diagrams are equivalent to propositional formulas which makes them theoretically expensive to process and analyze. For example, satisfying propositional formulas, which translates into finding a valid product for a given feature model, is an NP-hard problem, which has no fast, optimal solution. This theoretical complexity could prevent the use of powerful analysis techniques to assist in the development and testing of product lines. However, we have found that satisfying realistic feature models is quick. Thus, we show that combinatorial interaction testing of product lines is feasible in practice. Based on this, we investigate covering array generation time and results for realistic feature models and find where the algorithms can be improved.