Abstract-Model kontroll tekniker för programvara produktlinjer (SPL) är aktivt forskas. En stor begränsning de för närvarande har är oförmågan att hantera effektivt med icke-booleska funktioner och multi-features. Ett exempel på en icke-boolesk funktion är ett numeriskt attribut såsom maximalt antal användare som kan ta olika numeriska värden över intervallet av SPL produkter. Multifunktioner är funktioner som kan visas flera gånger i samma produkt, såsom bearbetningsenheter som varierar från en produkt till en annan och som kan konfigureras självständigt. Båda konstruktionerna används i stor utsträckning i praktiken, men stöds för närvarande inte av befintliga metoder för SPL-modellkontroll. För att övervinna denna begränsning definierar vi formellt ett språk som integrerar dessa konstruktioner med SPL beteendespecifikationer. Vi generaliserar SPL-modellen för att kontrollera algoritmer på motsvarande sätt och utvärderar deras tillämplighet. Våra resultat visar att algoritmerna förblir effektiva trots generaliseringen.
Dessutom presenterar forskningen i REF en modellkontrollteknik för SPsL, som exakt modellerar FM med icke-booleska funktioner (numeriska attribut) och multifunktioner.
Beyond boolean product-line model checking: dealing with feature attributes and multi-features
{'venue': "ICSE '13", 'journal': None, 'mag_field_of_study': ['Computer Science']}