Abstract-behov för massanpassning och stordriftsfördelar har drivit ingenjörer att utveckla Software Product Lines (SPL). SPL är familjer av produkter som delar gemensamma egenskaper och uppvisar skillnader, byggd genom återanvändning av programvarutillgångar abstrakt representeras av funktioner. Modeller med funktioner beskriver de begränsningar som kopplar ihop funktionerna och möjliggör konfigurationen av skräddarsydda programvaruprodukter. Gemensamma SPL omfattar hundratals, till och med tusentals funktioner, vilket leder till miljarder möjliga programvaruprodukter. Som ett resultat, testa en produkt linje är utmanande på grund av den enorma storleken på de möjliga produkterna. Befintliga tekniker fokuserar på testning baserad på produktlinjens funktionsmodell genom att välja en begränsad uppsättning produkter att testa. Att skapas manuellt eller omvänt konstruerade, funktionsmodeller är benägna att fel påverkar de genererade testsviterna. I detta dokument undersöker vi testsviternas förmåga att upptäcka sådana fel. I synnerhet föreslår vi två mutationsoperatörer för att härleda felaktiga funktionsmodeller (mutanter) från en originalfunktionsmodell och bedöma förmågan hos den genererade ursprungliga testsviten att döda mutanterna. Experimentering på verkliga funktionsmodeller visar att olika testsviter har en högre förmåga att upptäcka mutanter än liknande, vilket bekräftar relevansen av likhetsdriven testning av produktlinje.
Fast, Henard m.fl. föreslog två mutationsoperatörer för funktionsmodeller baserade på propositionella formler i REF.
Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing
{'venue': '2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops', 'journal': '2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops', 'mag_field_of_study': ['Engineering', 'Computer Science']}