Generation of multipurpose formal models from legacy code

• Опубліковано в: PROBLEMS IN PROGRAMMING
• Дата: 2023
• Випуск: 3-4
• Сторінки: 42-50
• ISSN: 1727-4907
• Автори та афіліації: S.V. Potiyenko — Glushkov Institute of Cybernetics NAS of Ukraine; A.V. Kolchin — Glushkov Institute of Cybernetics NAS of Ukraine
• Автори: Potiyenko, S.V., Kolchin, A.V.
• Формат: Стаття
• Мова: Українська
• Опубліковано: PROBLEMS IN PROGRAMMING 2023
• Теми: translation; formal model; legacy systems; UDC 004.414.23+004.416.6+004.4’414+004.4’418
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/505
• Назва журналу: Problems in programming

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...