SymexTRON: Symbolic Execution of High-Level Transformation Languages: Symbolic Execution of High-Level Transformations

Ahmad Salim Al-Sibahi, Aleksandar Dimovski, Andrzej Wasowski

    Publikation: Bog / Antologi / Rapport / Ph.D.-afhandlingRapportForskning

    Abstract

    Transformations form an important part of developing domain specific languages, where they are used to provide semantics for typing and evaluation. Yet, few solutions exist for verifying transformations written in expressive high-level transformation languages. We take a step towards that goal, by developing a general symbolic execution technique that handles programs written in these high-level transformation languages. We use logical constraints to describe structured symbolic values, including containment, acyclicity, simple unordered collections (sets) and to handle deep type-based querying of syntax hierarchies. We evaluate this symbolic execution technique on a collection of refactoring and model transformation programs, showing that the white-box test generation tool based on symbolic execution obtains better code coverage than a black box test generator for such programs in almost all tested cases.
    OriginalsprogEngelsk
    ForlagIT-Universitetet i København
    UdgaveTR-2016-196
    Antal sider24
    ISBN (Elektronisk)978-87-7949-361-2
    StatusUdgivet - sep. 2016
    NavnIT University Technical Report Series
    NummerTR-2016-196
    ISSN1600-6100

    Emneord

    • Symbolic execution
    • Domain-specific languages
    • Transformation verification
    • Logical constraints
    • White-box testing

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'SymexTRON: Symbolic Execution of High-Level Transformation Languages: Symbolic Execution of High-Level Transformations'. Sammen danner de et unikt fingeraftryk.

    Citationsformater