Finding Suitable Variability Abstractions for Family-Based Analysis

Aleksandar Dimovski, Claus Brabrand, Andrzej Wasowski

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Abstract

    For program families (Software Product Lines), specially designed variability-aware static (dataflow) analyses allow analyzing all variants (products) of the family, simultaneously, in a single run without generating any of the variants explicitly. They are also known as lifted or family-based analyses. The variability-aware analyses may be too costly or even infeasible for families with a large number of variants. In order to make them computationally cheaper, we can apply variability abstractions which aim to tame the combinatorial explosion of the number of variants (configurations) and reduce it to something more tractable. % by manipulating the configuration space of the family. However, the number of possible abstractions is still intractably large to search naively, with most abstractions being too imprecise or too costly.

    In this work, we propose a technique to efficiently find suitable variability abstractions from a large family of abstractions for a variability-aware static analysis. The idea is to use a pre-analysis to estimate the impact of variability-specific parts of the program family on the analysis's precision. Then we use the pre-analysis results to find out when and where the analysis should turn off or on its variability-awareness. We demonstrate the practicality of this approach on several Java benchmarks.
    OriginalsprogEngelsk
    TitelFM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
    RedaktørerJohn S. Fitzgerald, Constance L. Heitmeyer, Stefania Gnesi, Anna Philippou
    Antal sider17
    UdgivelsesstedLimassol, Cyprus, November 9-11, 2016
    ForlagSpringer
    Publikationsdato8 nov. 2016
    Sider217-234
    ISBN (Trykt)978-3-319-48988-9
    ISBN (Elektronisk)978-3-319-48989-6
    DOI
    StatusUdgivet - 8 nov. 2016
    BegivenhedInternational Symposium on Formal Methods - St. Raphael Resort, Limassol, Cypern
    Varighed: 9 nov. 201611 nov. 2016
    Konferencens nummer: 21
    http://fm2016.cs.ucy.ac.cy/

    Konference

    KonferenceInternational Symposium on Formal Methods
    Nummer21
    LokationSt. Raphael Resort
    Land/OmrådeCypern
    ByLimassol
    Periode09/11/201611/11/2016
    Internetadresse
    NavnLecture Notes in Computer Science
    Vol/bind9995
    ISSN0302-9743

    Emneord

    • Program Families
    • Static Program Analysis
    • Abstract Interpretation

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'Finding Suitable Variability Abstractions for Family-Based Analysis'. Sammen danner de et unikt fingeraftryk.

    Citationsformater