Abstract Software product line engineering handlar om att producera en uppsättning liknande produkter inom en viss domän. En variabilitetsmodell dokumenterar variabiliteten mellan produkterna i en produktlinje. Specifikationen av variabilitet kan utökas med kvalitetsinformation, t.ex. mätbara kvalitetsattribut (t.ex. processor- och minnesförbrukning) och begränsningar för dessa attribut (t.ex. minnesförbrukning bör ligga i en rad olika värden). Fel användning av begränsningar kan dock orsaka avvikelser i specifikationen som måste upptäckas (t.ex. kan modellen inte utgöra några produkter). Dessutom, baserat på sådan kvalitetsinformation, är det möjligt att utföra kvalitetsmedvetna analyser, dvs produktlinjeingenjören kanske vill kontrollera om det är möjligt att bygga en produkt som uppfyller en önskad kvalitet. Utmaningen för kvalitetsmedveten specifikation och analys är trefaldig. För det första bör det finnas ett sätt att specificera kvalitetsinformation i variabilitetsmodeller. För det andra bör det vara möjligt att upptäcka avvikelser i specifikationerna för variabilitet i samband med kvalitetsinformation. För det tredje bör det finnas mekanismer för att kontrollera variabilitetsmodellen för att ta fram användbar information, t.ex. möjligheten att bygga en produkt som uppfyller vissa kvalitetskrav (t.ex. finns det någon produkt som kräver mindre än 512 MB minne?). I den här artikeln presenterar vi ett tillvägagångssätt för kvalitetsmedveten analys i programvaruproduktlinjer med hjälp av den ortogonala variabilitetsmodellen (OVM) för att representera variabilitet. Vi föreslår att mappa Software Qual J (2012) 20:519-565 DOI 10.1007 variabilitet som representeras i OVM i samband med kvalitetsinformation till ett problem med begränsad tillfredsställelse och att använda en off-the-shelf begränsning programmeringslösning för att automatiskt utföra verifieringsuppgiften. För att illustrera vårt tillvägagångssätt använder vi en produktlinje inom fordonsområdet som är ett exempel som skapades i ett nationellt projekt av ett ledande bilföretag. Vi har utvecklat ett prototypverktyg som heter FaMa-OVM, som fungerar som ett bevis på koncept. Vi kunde identifiera ogiltiga modeller, döda och falska valfria element, och kontrollera om produktlinjeexemplet uppfyller kvalitetsvillkoren.
• Ross-Frantz et al:s arbete. REF använder Orthogonal Variability Model (OVM) för sin kartläggning på en CSP för att utveckla FaMa-OVM för att identifiera ogiltiga modeller, döda och falska valfria funktioner.
Quality-aware analysis in product line engineering with the orthogonal variability model
{'venue': 'Software Quality Journal', 'journal': 'Software Quality Journal', 'mag_field_of_study': ['Computer Science']}