Abstract-A programvara produktlinje är en uppsättning programvaruprodukter som skiljer sig i termer av funktioner (dvs., slutanvändare-synliga enheter beteende). Feature interaktioner -situationer där kombinationen av funktioner leder till framväxande och möjligen kritiska beteende-är en stor källa till misslyckanden i programvara produktlinjer. Vi undersöker hur funktionsmedveten verifiering kan förbättra den automatiska upptäckten av funktionsinteraktioner i programvara produktlinjer. Feature-aware verifiering använder produkt-line-verifiering tekniker och stöder specifikationen av funktioner egenskaper tillsammans med funktioner i separata och jämförbara enheter. Det integrerar tekniken för variabilitet kodning för att verifiera en produkt linje utan att generera och kontrollera ett eventuellt exponentiellt antal funktionskombinationer. Vi utvecklade verktygssviten SPLVERIFIER för funktionsmedveten verifiering, som bygger på standard modellkontrollteknik. Vi tillämpade det på ett e-postsystem som innehåller domänkunskap om AT&T. Vi fann att funktionsinteraktioner kan upptäckas automatiskt baserat på specifikationer som endast har lokal kunskap.
Feature-aware verifiering REF förespråkar upptäckt av funktionsinteraktioner på produktlinjenivå.
Detection of feature interactions using feature-aware verification
{'venue': '2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)', 'journal': '2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)', 'mag_field_of_study': ['Computer Science']}