Många moderna mjukvarusystem är utformade för att vara mycket konfigurerbara, vilket ökar flexibiliteten men kan göra program svåra att testa, analysera och förstå. Vi presenterar en inledande empirisk studie av hur konfigurationsalternativ påverkar programmets beteende. Vi antar att på vissa abstraktionsnivåer är konfigurationsutrymmen mycket mindre än det värsta fallet, där varje konfiguration är distinkt. Vi utvärderade våra gissningar genom att studera tre konfigurerbara mjukvarusystem: vsftpd, ngIRCd och grep. Vi använde symbolisk utvärdering för att upptäcka hur inställningarna för run-time konfigurationsalternativ påverkar linje, grundläggande block, kant och tillstånd täckning för våra ämnen under en given testsvit. Våra resultat tyder starkt på att för dessa ämnesprogram, testsviter och konfigurationsalternativ, när de är abstrakta i termer av de fyra kriterierna ovan, konfigurationsutrymmen är i själva verket mycket mindre än combinatorics skulle föreslå och är effektivt sammansättningen av många små, fristående grupperingar av alternativ.
REF empiriskt analysera hur konfigurationsalternativ påverkar programmets beteende.
Using symbolic evaluation to understand behavior in configurable software systems
{'venue': "ICSE '10", 'journal': None, 'mag_field_of_study': ['Computer Science']}