WG211/M12Kaestner

Variability-Aware Test Execution by Christian Kaestner

We investigate how to execute a unit test in all configurations of a configurable system, without running it in every configuration in isolation in a brute-force fashion. Learning from variability-aware analyses and symbolic execution, we sketch a variability-aware interpreter to simulate the test cases with a model checker. We discuss early results, possible adoption strategies, and open questions.