Abstract-Product-line-teknik används i allt högre grad i verksamhetskritiska och säkerhetskritiska tillämpningar. Därför utvecklar forskare verifieringsmetoder som följer olika strategier för att hantera de specifika egenskaperna hos produktlinjer. Medan forskarsamhället diskuterar de ömsesidiga styrkorna och svagheterna i de olika strategierna – främst på konceptnivå – finns det brist på bevis när det gäller fallstudier, verktygsimplementeringar och experiment. Vi har samlat och förberett sex produktlinjer som ämnessystem för experiment. Dessutom har vi utvecklat en verktygskedja för modellkontroll för C-baserade och Java-baserade produktlinjer, SPLVERIFIER, som vi använder för att jämföra provbaserade och familjebaserade strategier med avseende på verifieringsprestanda och förmågan att hitta defekter. Baserat på de experimentella resultaten och en analytisk modell, återkommer vi till diskussionen om styrkor och svagheter i produkt-line-verifieringsstrategier.
Apel m.fl. REF utvecklade en modellkontrollverktyg för produktlinjer och använde den för att jämföra provbaserade och variabilitetsmedvetna strategier med avseende på verifieringsprestanda och förmågan att hitta defekter.
Strategies for product-line verification: Case studies and experiments
{'venue': '2013 35th International Conference on Software Engineering (ICSE)', 'journal': '2013 35th International Conference on Software Engineering (ICSE)', 'mag_field_of_study': ['Computer Science']}