Statecharts: A visual formalism for complex systems
Science of Computer Programming
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Refinement of actions and equivalence notions for concurrent systems
Acta Informatica
Introduction to algorithms
Software product lines: practices and patterns
Software product lines: practices and patterns
Feature interaction: a critical review and considered forecast
Computer Networks: The International Journal of Computer and Telecommunications Networking
In-Parameter-Order: A Test Generation Strategy for Pairwise Testing
HASE '98 The 3rd IEEE International Symposium on High-Assurance Systems Engineering
Feature Interaction and Dependencies: Modeling Features for Reengineering a Legacy Product Line
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
A Comparison of Statecharts Variants
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Automated Test Set Generation for Statecharts
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Efficient software testing protocols
CASCON '98 Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
Product family testing: a survey
ACM SIGSOFT Software Engineering Notes
Feature interactions in embedded control systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Directions in feature interaction research
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Coverage and adequacy in software product line testing
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
Interaction testing of highly-configurable systems in the presence of constraints
Proceedings of the 2007 international symposium on Software testing and analysis
Test generation and minimization with "basic" statecharts
Proceedings of the 2008 ACM symposium on Applied computing
Modelling feature interactions in the automotive domain
Proceedings of the 2008 international workshop on Models in software engineering
Sample Spaces and Feature Models: There and Back Again
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Model-based testing for software product lines
Model-based testing for software product lines
Behavior Specification of Product Lines via Feature Models and UML Statecharts with Variabilities
SCCC '08 Proceedings of the 2008 International Conference of the Chilean Computer Science Society
Selecting highly optimal architectural feature sets with Filtered Cartesian Flattening
Journal of Systems and Software
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
MoSo-PoLiTe: tool support for pairwise and model-based software product line testing
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
Model-based coverage-driven test suite generation for software product lines
Proceedings of the 14th international conference on Model driven engineering languages and systems
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
Strategies for testing products in software product lines
ACM SIGSOFT Software Engineering Notes
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
Scalable analysis of variable software
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Implementing refactorings for FOP: lessons learned and challenges ahead
Proceedings of the 5th International Workshop on Feature-Oriented Software Development
Towards statistical prioritization for software product lines testing
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
Model-driven rapid prototyping with programmed graph transformations
Journal of Visual Languages and Computing
Hi-index | 0.00 |
Testing software product lines (SPLs) is very challenging due to a high degree of variability leading to an enormous number of possible products. The vast majority of today's testing approaches for SPLs validate products individually using different kinds of reuse techniques for testing. Because of their reusability and adaptability capabilities, model-based approaches are suitable to describe variability and are therefore frequently used for implementation and testing purposes of SPLs. Due to the enormous number of possible products, individual product testing becomes more and more infeasible. Pairwise testing offers one possibility to test a subset of all possible products. However, according to the best of our knowledge, there is no contribution discussing and rating this approach in the SPL context. In this contribution, we provide a mapping between feature models describing the common and variable parts of an SPL and a reusable test model in the form of statecharts. Thereby, we interrelate feature model-based coverage criteria and test model-based coverage criteria such as control and data flow coverage and are therefore able to discuss the potentials and limitations of pairwise testing. We pay particular attention to test requirements for feature interactions constituting a major challenge in SPL engineering. We give a concise definition of feature dependencies and feature interactions from a testing point of view, and we discuss adequacy criteria for SPL coverage under pairwise feature interaction testing and give a generalization to the T-wise case. The concept and implementation of our approach are evaluated by means of a case study from the automotive domain.