Testing the Evolution of Feature Models with Specific Combinatorial Tests
Software Product Lines (SPLs) are commonly used for representing highly configurable systems, by using Feature Models (FMs). Like any other systems, SPLs (and consequently FMs) undergo changes over time, and developers may inadvertently introduce errors during this process. Consequently, it is of utmost importance to rigorously test SPLs during their evolution, in particular, by analyzing the changes introduced from one version of FM to its evolved counterpart. This paper presents the concept of ``specificity'', enabling testers to discern tests specifically tailored for evaluating a model evolution. In addition, we present SPECGEN, a BDD-based algorithm that aims at producing more specific combinatorial test suites. We conduct a comparative analysis between SPECGEN and established approaches. Our experiments demonstrate that employing SPECGEN results in test suites with higher specificity, maintaining the same size, and accomplishing this in a shorter time compared to conventional methods.
Presentation - Angelo Gargantini (amost24_presentation.pdf) | 1.37MiB |
Mon 27 MayDisplayed time zone: Eastern Time (US & Canada) change
11:00 - 12:30 | |||
11:00 30mDay opening | Welcome to 20 Years of A-MOST A-MOST Florian Lorber Silicon Austria Labs, Cristina Seceleanu Mälardalen University, Martin Tappler TU Wien, Austria | ||
11:30 30mFull-paper | Testing the Evolution of Feature Models with Specific Combinatorial Tests A-MOST Andrea Bombarda University of Bergamo, Silvia Bonfanti University of Bergamo, Angelo Gargantini University of Bergamo File Attached | ||
12:00 30mFull-paper | Annotating Control-Flow Graphs for Formalized Test Coverage Criteria A-MOST Sean Kauffman Queen's University, Canada, Carlos Moreno , Sebastian Fischmeister University of Waterloo, Canada |