WG211/M11Schaefer

Incremental model-based testing of software product lines

Modern software systems increasingly exist in many different variants in order to adapt them to changing requirements or application contexts. At the same time, it is essential to ensure the functional correctness of every deployed system variant, in particular in safety-critical domains. Because of the large number of possible variants, it is in general infeasible to test every variant in isolation. Thus, a systematic approach is required that allows reusing test efforts between different system variants. In this talk, I present a model-based test framework that relies on delta-oriented test models and regression-based test case generation. Test suites for single product variants are incrementally derived from test suites of previously tested variants. The presented approach has been evaluated in a case study from the automotive domain where it could be shown that test efforts were reduced to a large extend.