Abstract | ||
---|---|---|
We investigate how to execute a unit test for all products of a product line without generating each product in isolation in a brute-force fashion. Learning from variability-aware analyses, we (a) design and implement a variability-aware interpreter and, alternatively, (b) reencode variability of the product line to simulate the test cases with a model checker. The interpreter internally reasons about variability, executing paths not affected by variability only once for the whole product line. The model checker achieves similar results by reusing powerful off-the-shelf analyses. We experimented with a prototype implementation for each strategy. We compare both strategies and discuss trade-offs and future directions. In the long run, we aim at finding an efficient testing approach that can be applied to entire product lines with millions of products. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1145/2377816.2377817 | FOSD@GPCE |
Keywords | Field | DocType |
variability-aware analysis,reencode variability,variability-aware interpreter,unit test,model checker,whole product line,product line,brute-force fashion,variability-aware testing,entire product line,test case | Programming language,Model checking,Computer science,Reuse,Unit testing,Real-time computing,Product line,Interpreter,Test case | Conference |
Citations | PageRank | References |
34 | 0.84 | 26 |
Authors | ||
7 |
Name | Order | Citations | PageRank |
---|---|---|---|
Christian Kästner | 1 | 3591 | 135.92 |
Alexander von Rhein | 2 | 316 | 11.35 |
Sebastian Erdweg | 3 | 461 | 33.21 |
Jonas Pusch | 4 | 34 | 0.84 |
Sven Apel | 5 | 3980 | 184.13 |
Tillmann Rendel | 6 | 392 | 16.15 |
Klaus Ostermann | 7 | 457 | 23.97 |