Optimization of the Quine-McCluskey Method for the Minimization of the Boolean Expressions
ICAS '08 Proceedings of the Fourth International Conference on Autonomic and Autonomous Systems
Empirical evaluations of regression test selection techniques: a systematic review
Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement
Model-based testing for software product lines
Model-based testing for software product lines
Testing with model checkers: a survey
Software Testing, Verification & Reliability
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
Automated incremental pairwise testing of software product lines
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Reducing combinatorics in testing product lines
Proceedings of the tenth international conference on Aspect-oriented software development
Efficient test suite reduction by merging pairs of suitable test cases
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Model-based system testing of software product families
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Industrial evaluation of pairwise SPL testing with MoSo-PoLiTe
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Incremental model-based testing of delta-oriented software product lines
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Toward variability-aware testing
FOSD '12 Proceedings of the 4th International Workshop on Feature-Oriented Software Development
Strategies for testing products in software product lines
ACM SIGSOFT Software Engineering Notes
Model-based pairwise testing for feature interaction coverage in software product line engineering
Software Quality Control
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
Implementing refactorings for FOP: lessons learned and challenges ahead
Proceedings of the 5th International Workshop on Feature-Oriented Software Development
Hi-index | 0.00 |
Software Product Line (SPL) engineering is a popular approach for the systematic reuse of software artifacts across a large number of similar products. Unfortunately, testing each product of an SPL separately is often unfeasible. Consequently, SPL engineering is in conflict with standards like ISO 26262, which require each installed software configuration of safety-critical SPLs to be tested using a model-based approach with well-defined coverage criteria. In this paper we address this dilemma and present a new SPL test suite generation algorithm that uses model-based testing techniques to derive a small test suite from one variable 150% test model of the SPL such that a given coverage criterion is satisfied for the test model of every product. Furthermore, our algorithm simplifies the subsequent selection of a small, representative set of products (w.r.t. the given coverage criterion) on which the generated test suite can be executed.