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
Conditioned model slicing of feature-annotated state machines
FOSD '12 Proceedings of the 4th International Workshop on Feature-Oriented Software Development
Model-based pairwise testing for feature interaction coverage in software product line engineering
Software Quality Control
Hi-index | 0.01 |
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 product lines. A common mechanism to represent the variability in a product line is by means of feature models. However, the relationship between these models and UML design models is not straightforward. The contribution of this work is the proposal of an extension of UML statecharts, which consists of introducing variability in their main components, so that the behavior of product lines can be specified. This is accomplished via the use of feature models, in order to describe the common and variant components, in such a way that, starting from different feature configurations, concrete state machines corresponding to different products of a line can be obtained.