On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
WG211/M12Kaestner: Difference between revisions
From WG 2.11
Jump to navigationJump to search
Created page with "''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 ..." |
No edit summary |
||
| Line 1: | Line 1: | ||
''Variability- | ''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. | 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. | ||
Latest revision as of 22:05, 29 May 2013
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.
