Abstract-Regressionsverifiering (RV) syftar till att garantera frånvaron av regressionsfel i en ändrad programversion. I detta dokument presenteras partitionsbaserad regressionsverifiering (PRV): ett tillvägagångssätt för RV baserat på en gradvis undersökning av differentialinmatningspartitioner. En differential ingång partition är en delmängd av det gemensamma inmatningsutrymmet för två programversioner som fungerar som en enhet för verifiering. I stället för att bevisa frånvaron av regression för hela ingångsutrymmet på en gång, PRV verifierar differentialpartitioner på ett gradvis sätt. Om prospekteringen avbryts behåller PRV partiella verifieringsgarantier åtminstone för de undersökta differentialpartitionerna. Detta är avgörande i praktiken eftersom det kan vara oöverkomligt dyrt att kontrollera hela inmatningsutrymmet. Experiment visar att PRV är ett användbart alternativ till moderna metoder för regressionstestgenerering. Under prospekteringen genererar PRV testfall som kan avslöja olika beteenden i två programversioner. Medan testfall i allmänhet är enstaka punkter i det gemensamma inmatningsutrymmet, kan PRV verifiera hela partitioner och dessutom ge feedback som tillåter programmerare att relatera en beteendemässig skillnad till de syntaktiska förändringar som bidrar till denna skillnad.
Partitionsbaserad regressionsverifiering, REF, beräknar partitioner i farten med hjälp av konkolisk exekvering och dynamisk skivningsteknik.
Partition-based regression verification
{'venue': "ICSE '13", 'journal': None, 'mag_field_of_study': ['Computer Science']}