Experiences from Designing and Validating a Software Modernization Transformation

Alexandru Florin Iosif-Lazăr, Ahmad Salim Al-Sibahi, Aleksandar Dimovski, Juha Erik Savolainen, Krzysztof Sierszecki, Andrzej Wasowski

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

    Abstract

    Software modernization often involves complex code transformations that convert legacy code to new architectures or platforms, while preserving the semantics of the original programs. We present the lessons learnt from an industrial software modernization project of considerable size. This includes collecting requirements for a code-to-model transformation, designing and implementing the transformation algorithm, and then validating correctness of this transformation for the code-base at hand. Our transformation is implemented in the TXL rewriting language and assumes specifically structured C++ code as input, which it translates to a declarative configuration model. The correctness criterion for the transformation is that the produced model admits the same configurations as the input code. The transformation converts C++ functions specifying around a thousand configuration parameters. We verify the correctness for each run individually, using translation validation and symbolic execution. The technique is formally specified and is applicable automatically for most of the code-base.
    OriginalsprogEngelsk
    TitelProceedings of the 30th ACM/IEEE international conference on Automated software engineering
    ForlagIEEE
    Publikationsdatonov. 2015
    Sider597 - 607
    ISBN (Trykt)978-1-5090-0024-1
    DOI
    StatusUdgivet - nov. 2015
    Begivenhed30th IEEE/ACM International Conference on Automated Software Engineering - Embassy Suites Lincoln, Lincoln, Nebraska, USA
    Varighed: 9 nov. 201513 nov. 2015
    Konferencens nummer: 30
    http://ase2015.unl.edu/#tab-main

    Konference

    Konference30th IEEE/ACM International Conference on Automated Software Engineering
    Nummer30
    LokationEmbassy Suites Lincoln
    Land/OmrådeUSA
    ByLincoln, Nebraska
    Periode09/11/201513/11/2015
    Internetadresse

    Emneord

    • Software modernization
    • Code transformation
    • Legacy code
    • TXL rewriting
    • Symbolic execution

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'Experiences from Designing and Validating a Software Modernization Transformation'. Sammen danner de et unikt fingeraftryk.

    Citationsformater