Abstract-För att förhindra illa utformade konfigurationer, mycket konfigurerbar programvara ofta gör det möjligt att definiera begränsningar över tillgängliga alternativ. Eftersom dessa begränsningar kan vara komplicerade kan det vara svårt att fastställa en konfiguration som bryter mot en eller flera begränsningar. Även om flera fix-generation metoder finns, är deras tillämplighet begränsad eftersom 1) de vanligtvis genererar bara en fix, underlåter att täcka den lösning som användaren vill; och (2) de inte fullt stöd icke-booleska begränsningar, som innehåller aritmetiska, ojämlikhet, och sträng operatörer. I detta dokument föreslås ett nytt koncept, range fix, för programvarukonfiguration. Ett intervallfix anger alternativen för att ändra och intervallen av värden för dessa alternativ. Vi designar också en algoritm som automatiskt genererar rangefixar för en kränkt begränsning. Vi har utvärderat vår strategi med tre olika strategier för hantering av begränsningsinteraktioner, på data från fem projekt med öppen källkod. Vår utvärdering visar att även med den mest komplexa strategin genererar vår strategi kompletta fixlistor som oftast är korta och koncisa, på en bråkdel av en sekund.
ECC Fixer reference infer konfigurationsbegränsningar genom programanalys och upptäcker konfigurationsöverträdelser, den utformar en algoritm som automatiskt genererar rangefixar för en kränkt restriktion.
Generating range fixes for software configuration
{'venue': "ICSE '12", 'journal': None, 'mag_field_of_study': ['Computer Science']}