Orthogonal Latin squares: an application of experiment design to compiler testing
Communications of the ACM
The category-partition method for specifying and generating fuctional tests
Communications of the ACM
Software testing at the architectural level
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Applying design of experiments to software testing: experience report
ICSE '97 Proceedings of the 19th international conference on Software engineering
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
The AETG System: An Approach to Testing Based on Combinatorial Design
IEEE Transactions on Software Engineering
Deriving test plans from architectural descriptions
Proceedings of the 22nd international conference on Software engineering
Software product lines: practices and patterns
Software product lines: practices and patterns
Quality Engineering Using Robust Design
Quality Engineering Using Robust Design
Constructing test suites for interaction testing
Proceedings of the 25th International Conference on Software Engineering
A Measure for Component Interaction Test Coverage
AICCSA '01 Proceedings of the ACS/IEEE International Conference on Computer Systems and Applications
Use case-based testing of product lines
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Variable Strength Interaction Testing of Components
COMPSAC '03 Proceedings of the 27th Annual International Conference on Computer Software and Applications
Using Software Architecture for Code Testing
IEEE Transactions on Software Engineering
Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures
Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures
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
Modelling Requirements Variability across Product Lines
RE '05 Proceedings of the 13th IEEE International Conference on Requirements Engineering
Covering Arrays for Efficient Fault Characterization in Complex Configuration Spaces
IEEE Transactions on Software Engineering
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Constraint-Based approaches to the covering test problem
CSCLP'04 Proceedings of the 2004 joint ERCIM/CoLOGNET international conference on Recent Advances in Constraints
Interaction testing of highly-configurable systems in the presence of constraints
Proceedings of the 2007 international symposium on Software testing and analysis
Estimating the coverage of the framework application reusable cluster-based test cases
Information and Software Technology
Effective and scalable software compatibility testing
ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
Managing Variability Complexity in Aspect-Oriented Modeling
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Integrated object-oriented framework-based testing environment
ACS'08 Proceedings of the 8th conference on Applied computer scince
Taming Dynamically Adaptive Systems using models and aspects
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Integration testing in software product line engineering: a model-based technique
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Eliminating products to test in a software product line
Proceedings of the IEEE/ACM international conference on Automated software engineering
Software product line testing - A systematic mapping study
Information and Software Technology
Automated incremental pairwise testing of software product lines
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Improving the testing and testability of software product lines
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Automatically discovering properties that specify the latent behavior of UML models
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Testing product generation in software product lines using pairwise for features coverage
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
A systematic mapping study of software product lines testing
Information and Software Technology
Information Sciences: an International Journal
Reducing combinatorics in testing product lines
Proceedings of the tenth international conference on Aspect-oriented software development
Using feature locality: can we leverage history to avoid failures during reconfiguration?
Proceedings of the 8th workshop on Assurances for self-adaptive systems
Integration testing of software product lines using compositional symbolic execution
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Code generation for a family of executable modelling notations
Software and Systems Modeling (SoSyM)
A survey on software product line testing
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
Pairwise testing for software product lines: comparison of two approaches
Software Quality Control
Model-based pairwise testing for feature interaction coverage in software product line engineering
Software Quality Control
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
Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain
International Journal of Embedded and Real-Time Communication Systems
Minimizing test suites in software product lines using weight-based genetic algorithms
Proceedings of the 15th annual conference on Genetic and evolutionary computation
SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Continuous test suite augmentation in software product lines
Proceedings of the 17th International Software Product Line Conference
An orchestrated survey of methodologies for automated software test case generation
Journal of Systems and Software
Towards statistical prioritization for software product lines testing
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
Hi-index | 0.00 |
Software product line modeling has received a great deal of attention for its potential in fostering reuse of software artifacts across development phases. Research on the testing phase, has focused on identifying the potential for reuse of test cases across product line instances. While this offers potential reductions in test development effort for a given product line instance, it does not focus on and leverage the fundamental abstraction that is inherent in software product lines - variability.In this paper, we illustrate how rich software product line modeling notations can be mapped onto an underlying relational model that captures variability in the feasible product line instances. This relational model serves as the semantic basis for defining a family of coverage criteria for testing of a product line. These criteria make it possible to accumulate test coverage information for the product line itself over the course of multiple product line instance development efforts. Cumulative coverage, in turn, enables targeted testing efforts for new product line instances. We describe how combinatorial interaction testing methods can be applied to define test configurations that achieve a desired level of coverage and identify challenges to scaling such methods to large, complex software product lines.