Programvaruproduktlinjer (SPL) är programvaruarkitekturer som enkelt kan konfigureras om för olika projektkrav. En viktig del av ett SPL är en modell som fångar reglerna för att konfigurera programvaran. SPL använder ofta funktionsmodeller för att fånga SPL-konfigurationsregler. Varje SPL-konfiguration representeras som ett urval av funktioner från funktionsmodellen. Ogiltiga SPL-konfigurationer kan skapas på grund av funktionskonflikter som införs via iscensatt eller parallell konfiguration eller ändringar av begränsningarna i en funktionsmodell. När ogiltiga konfigurationer skapas behövs en metod för att automatisera diagnosen av felen och reparera funktionsval. Detta dokument ger två bidrag till forskning om automatiserad konfiguration av SPL. För det första visar det hur konfigurationer och funktionsmodeller kan omvandlas till problem med begränsad tillfredsställelse för att automatiskt diagnostisera fel och reparera ogiltiga funktionsval. För det andra presenteras empiriska resultat från diagnostisering av konfigurationsfel i funktionsmodeller som varierar i storlek från 100 till 5000 funktioner. Resultaten av våra experiment visar att vår CSP-baserade diagnostiska teknik kan skala upp till modeller med tusentals funktioner.
Vit et al. REF presenterade ett tillvägagångssätt för att automatisera konfigurationen i SPL genom att omvandla funktionsmodell och konfigurationer i Constraint Satisfaction Problem (CSP).
Automated Diagnosis of Feature Model Configurations
{'venue': None, 'journal': None, 'mag_field_of_study': ['Computer Science']}