Incremental model-based testing of delta-oriented software product lines
M Lochau, I Schaefer, J Kamischke, S Lity - Tests and Proofs: 6th …, 2012 - Springer
Software product line (SPL) engineering provides a promising approach for developing
variant-rich software systems. But, testing of every product variant in isolation to ensure its …
variant-rich software systems. But, testing of every product variant in isolation to ensure its …
Model-based pairwise testing for feature interaction coverage in software product line engineering
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 …
leading to an enormous number of possible products. The vast majority of today's testing …
Delta-oriented model-based integration testing of large-scale systems
M Lochau, S Lity, R Lachmann, I Schaefer… - Journal of Systems and …, 2014 - Elsevier
Software architecture specifications are of growing importance for coping with the complexity
of large-scale systems. They provide an abstract view on the high-level structural system …
of large-scale systems. They provide an abstract view on the high-level structural system …
MoSo-PoLiTe: tool support for pairwise and model-based software product line testing
S Oster, I Zorcic, F Markert, M Lochau - Proceedings of the 5th …, 2011 - dl.acm.org
Testing Software Product Lines is a very challenging task and approaches like combinatorial
testing and model-based testing are frequently used to reduce the effort of testing Software …
testing and model-based testing are frequently used to reduce the effort of testing Software …
[HTML][HTML] On checking delta-oriented product lines of statecharts
Abstract A Software Product Line (SPL) is a set of programs, called variants, which are
generated from a common artifact base. Delta-Oriented Programming (DOP) is a flexible …
generated from a common artifact base. Delta-Oriented Programming (DOP) is a flexible …
[PDF][PDF] Feature model-based software product line testing.
S Oster - 2011 - tuprints.ulb.tu-darmstadt.de
ABSTRACT Software Product Line (SPL) engineering is a popular approach for the
systematic reuse of software artifacts across a very large number of similar products. SPLs …
systematic reuse of software artifacts across a very large number of similar products. SPLs …
Conditioned model slicing of feature-annotated state machines
Model-based behavioral specifications build the basis for comprehensive quality assurance
techniques for complex software systems such as model checking and model-based testing …
techniques for complex software systems such as model checking and model-based testing …
Behavior specification of product lines via feature models and UML statecharts with variabilities
A Gonzalez, C Luna - … of the Chilean Computer Science Society, 2008 - ieeexplore.ieee.org
The study of variability in software development has become increasingly important in recent
years. The research areas in which this is involved range from software specialization to …
years. The research areas in which this is involved range from software specialization to …
[图书][B] Model-based testing of automotive HMIs with consideration for product variability
L Duan - 2012 - books.google.com
Die Mensch-Maschine-Schnittstellen (HMIs) von Infotainmentsystemen der heutigen
Premiumfahrzeuge sind sehr komplexe und eingebettete Systeme. Sie haben im Vergleich …
Premiumfahrzeuge sind sehr komplexe und eingebettete Systeme. Sie haben im Vergleich …
Automatization of the Instantiation Process for the Behavior of Software Product Lines
A Gonzalez, C Luna, F Zorzan… - IEEE Latin America …, 2014 - ieeexplore.ieee.org
Models and model transformations constitute the basis of a set of software development
techniques known as Model-Driven Development. In this context, UML State Machines have …
techniques known as Model-Driven Development. In this context, UML State Machines have …