En programvara produktlinje är en uppsättning liknande programvaruprodukter som delar en gemensam kodbas. Medan programvara produktlinjer kan genomföras effektivt med hjälp av funktionsorienterad programmering, verifiera varje produkt individuellt inte skala, särskilt om mänsklig ansträngning krävs (t.ex., som i interaktiva teorem bevis). Vi presenterar en familjebaserad metod för avdragsverifiering för att visa att en programvaruproduktlinje är korrekt på ett effektivt sätt. Vi illustrerar och utvärderar vårt tillvägagångssätt för programvaruproduktlinjer skrivna i en funktionsorienterad dialekt av Java och specificerade med hjälp av Java Modelling Language. Vi visar att Theorem bevis KeY kan användas off-the-shälf för denna uppgift, utan några ändringar. Jämfört med den individuella verifieringen av varje produkt minskar vårt tillvägagångssätt verifieringstiden för vår fallstudie med mer än 85 %.
I REF föreslås en familjebaserad teknik för att minska kostnaden för avdragsgill verifiering för SPL.
Family-based deductive verification of software product lines
{'venue': "GPCE '12", 'journal': None, 'mag_field_of_study': ['Computer Science']}