Model checking
Art of Software Testing
Interfaces for Modular Feature Verification
Proceedings of the 17th IEEE international conference on Automated software engineering
Flattening statecharts without explosions
Proceedings of the 2004 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
A foundation for behavioural conformance in software product line architectures
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
Generic semantics of feature diagrams
Computer Networks: The International Journal of Computer and Telecommunications Networking
A behavioural model for product families
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Modeling and Model Checking Software Product Lines
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Formal Modeling for Product Families Engineering
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Calculating and Modeling Common Parts of Software Product Lines
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Model Checking of Domain Artifacts in Product Line Engineering
ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
Model based testing with labelled transition systems
Formal methods and testing
Testing real-time systems using UPPAAL
Formal methods and testing
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Foundations of Software Testing
Foundations of Software Testing
Software product line testing - A systematic mapping study
Information and Software Technology
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
Design and validation of variability in product lines
Proceedings of the 2nd International Workshop on Product Line Approaches in Software Engineering
Symbolic model checking of software product lines
Proceedings of the 33rd International Conference on Software Engineering
Pairwise feature-interaction testing for SPLs: potentials and limitations
Proceedings of the 15th International Software Product Line Conference, Volume 2
Formal Description of Variability in Product Families
SPLC '11 Proceedings of the 2011 15th International Software Product Line Conference
Managing evolution in software product lines: a model-checking perspective
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Specifying and generating test cases using observer automata
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Model transformation language MOLA
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
Weaving executability into object-oriented meta-languages
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Mapping features to models: a template approach based on superimposed variants
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Approaches for mastering change
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
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 |
The Software Product Lines (SPLs) paradigm promises faster development cycles and increased quality by systematically reusing software assets. This paradigm considers a family of systems, each of which can be obtained by a selection of features in a variability model. Though essential, providing Quality Assurance (QA) techniques for SPLs has long been perceived as a very difficult challenge due to the combinatorics induced by variability and for which very few techniques were available. Recently, important progress has been made by the model-checking and testing communities to address this QA challenge, in a very disparate way though. We present our vision for a unified framework combining model-checking and testing approaches applied to behavioural models of SPLs. Our vision relies on Featured Transition Systems (FTSs), an extension of transition systems supporting variability. This vision is also based on model-driven technologies to support practical SPL modelling and orchestrate various QA scenarios. We illustrate one of such scenarios on a vending machine SPL.