Analyzing variability: capturing semantic Ripple effects
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Properties of realistic feature models make combinatorial testing of product lines feasible
Proceedings of the 14th international conference on Model driven engineering languages and systems
The subject-oriented approach to software design and the abstract state machines method
Conceptual Modelling and Its Theoretical Foundations
Specifying a testing oracle for train stations --- going beyond with product line technology
MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering
Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL
Software and Systems Modeling (SoSyM)
A survey on software product line testing
Proceedings of the 16th International Software Product Line Conference - Volume 1
An algorithm for generating t-wise covering arrays from large feature models
Proceedings of the 16th International Software Product Line Conference - Volume 1
Evolutionary search-based test generation for software product line feature models
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Incremental model-based testing of delta-oriented software product lines
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Strategies for testing products in software product lines
ACM SIGSOFT Software Engineering Notes
Bow tie testing: a testing pattern for product lines
Proceedings of the 16th European Conference on Pattern Languages of Programs
Grammar-based test generation for software product line feature models
CASCON '12 Proceedings of the 2012 Conference of the Center for Advanced Studies on Collaborative Research
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
Parameterized preorder relations for model-based testing of software product lines
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Annotations for alloy: automated incremental analysis using domain specific solvers
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
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
Evaluating Different Strategies for Testing Software Product Lines
Journal of Electronic Testing: Theory and Applications
State of the art: Dynamic symbolic execution for automated test generation
Future Generation Computer Systems
Refinement-based testing of delta-oriented product lines
Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools
A taxonomy for requirements engineering and software test alignment
ACM Transactions on Software Engineering and Methodology (TOSEM)
An analysis of unit tests of a flight software product line
Science of Computer Programming
An analysis of unit tests of a flight software product line
Science of Computer Programming
Hi-index | 0.00 |
Recent advances in mechanical techniques for systematic testing have increased our ability to automatically find subtle bugs, and hence, to deploy more dependable software. This paper builds on one such systematic technique, scope-bounded testing, to develop a novel specification-based approach for efficiently generating tests for products in a software product line. Given properties of features as first-order logic formulas in Alloy, our approach uses SAT-based analysis to automatically generate test inputs for each product in a product line. To ensure soundness of generation, we introduce an automatic technique for mapping a formula that specifies a feature into a transformation that defines incremental refinement of test suites. Our experimental results using different data structure product lines show that an incremental approach can provide an order of magnitude speedup over conventional techniques. We also present a further optimization using dedicated integer constraint solvers for feature properties that introduce integer constraints, and show how to use a combination of solvers in tandem for solving Alloy formulas.