Abstrakt. Programvara produktlinjer är familjer av produkter som definieras av funktionen allmängiltighet och variabilitet, med en väl förvaltad tillgång bas. Det senaste arbetet med att testa programvaruproduktlinjer har utnyttjat likheter i olika utvecklingsfaser för att återanvända delade tillgångar och minska testarbetet. Användningen av funktionsberoende grafer har också använts, och det har funnits en del arbete som syftar till att minska dubblering av partiella produkter under integrationstestning, men mindre som fokuserar på kodnivåanalys av dataflöde mellan funktioner. I detta papper presenterar vi en kompositionell symbolisk exekveringsteknik som fungerar i samförstånd med en funktionsberoende graf för att extrahera uppsättningen av möjliga interaktionsträd i en produktfamilj. Den komponerar sedan dessa för att stegvis och symboliskt analysera funktionsinteraktioner. Vi experimenterar med två produktlinjer och bestämmer att vår teknik kan minska det totala antalet interaktioner som måste beaktas under testning, och kräver mindre tid att köra än en traditionell riktad symbolisk exekveringsteknik.
Shi och Al. REF presenterar en kompositionell symbolisk exekveringsteknik för att analysera SPL.
Integration Testing of Software Product Lines Using Compositional Symbolic Execution
{'venue': 'FASE', 'journal': None, 'mag_field_of_study': ['Computer Science']}