Abstract-The beteendet hos ett programvarusystem beror ofta på hur det systemet är konfigurerat. Små konfigurationsfel kan leda till svårdiagnostiserade oönskade beteenden. Vi presenterar en teknik (och dess verktyg implementation, kallad ConfDiagnoser) för att identifiera grundorsaken till ett konfigurationsfel - ett enda konfigurationsalternativ som kan ändras för att producera önskat beteende. Vår teknik använder statisk analys, dynamisk profilering och statistisk analys för att koppla det oönskade beteendet till specifika konfigurationsalternativ. Det skiljer sig från befintliga tillvägagångssätt i två viktiga aspekter: det kräver inte att användarna tillhandahåller ett test oracle (för att kontrollera om programvaran fungerar korrekt) och därmed är helt automatiserad; och det kan diagnostisera både kraschande och icke kraschande fel. Vi utvärderade ConfDiagnoser på 5 icke-kraschande konfigurationsfel och 9 kraschar konfigurationsfel från 5 konfigurerbara programvarusystem skrivna i Java. I genomsnitt var grundorsaken ConfDiagnosers femterankade förslag; i 10 av 14 fel var grundorsaken ett av de tre bästa förslagen; och mer än hälften av tiden var grundorsaken det första förslaget.
REF presenterar ConfDiagnoser-metoden som använder statisk analys, dynamisk profilering och statistisk analys för att avslöja grundorsaken till konfigurationsfel.
Automated diagnosis of software configuration errors
{'venue': "ICSE '13", 'journal': None, 'mag_field_of_study': ['Computer Science']}