Generation of multipurpose formal models from legacy code
In this paper a method for generation of formal models from legacy systems code is proposed. The purpose of these models is to have a possibility of their application in different tasks such as automatic generation of executable tests, translation to modern programming languages, reverse engineering...
Gespeichert in:
Datum: | 2023 |
---|---|
Hauptverfasser: | Potiyenko, S.V., Kolchin, A.V. |
Format: | Artikel |
Sprache: | Ukrainian |
Veröffentlicht: |
Інститут програмних систем НАН України
2023
|
Schlagworte: | |
Online Zugang: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/505 |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Назва журналу: | Problems in programming |
Institution
Problems in programmingÄhnliche Einträge
-
Interactive method for cumulative analysis of software formal models behavior
von: Kolchin, A.V.
Veröffentlicht: (2018) -
Application of Petri component nets in the checking task of parallel distributed systems
von: Lukyanova, E.A.
Veröffentlicht: (2025) -
A method for business logic extraction from legacy COBOL code of industrial systems
von: Guba, A.A., et al.
Veröffentlicht: (2018) -
Increase the temporal efficiency of data structures in memory based on adaptation
von: Shinkarenko, V.I., et al.
Veröffentlicht: (2015) -
Efficient increasing of the mutation score during model-based test suite generation
von: Kolchin, A., et al.
Veröffentlicht: (2020)