Optimizing Model-Based Software Product Line Testing With Graph Transformations
Software Product Lines (SPLs) are increasing in relevance and importance as various domains strive to cope with the challenges of supporting a high degree of variability in modern software systems. Especially the systematic testing of SPLs is nontrivial as a high degree of variability implies a vast number of possible products. As testing every valid product individually quickly becomes infeasible, heuristics are often used to choose a representative subset of products to be tested. MoSo-PoLiTe (Model-Based Software Product Line Testing) is a framework for SPL testing that combines and applies combinatorial (in particular pair-wise) and model-based testing to SPL feature models.