Details

Данная работа посвящена разработке подхода для автоматической генерации сценариев для воспроизведения программных объектов при по мощи анализа формальных спецификаций программных библиотек. В ходе данной работы решались следующие задачи: - обзор существующих инструментов для решения задач в области программного синтеза; - разработка собственного подхода, осуществляющего синтез программ для воспроизведения программных объектов с использованием методов статического анализа формальных спецификаций; - реализация разработанного подхода для генерации сценариев на конкретном языке программирования. В результате был разработан подход для автоматической генерации сценариев для воспроизведения программных объектов по заданному описанию, использующий формальные спецификации программных библиотек. Данный подход был реализован для генерации сценариев на языке программирования Kotlin в виде программной библиотеки.

This work is devoted to the development of approach for automatic program object reproduction scenarios generation based on formal software library specifications analysis. During this work following tasks were solved: - analysis of existing tools for solving tasks of program synthesis; - development of custom approach for synthesizing scenarios for program object reproduction by using methods of static analysis of formal specifications; - implementation of developed approach for generating scenarios on concrete programming language; As a result an approach for automatic scenario generation for program objects reproduction by theirs descriptions based on formal software library specifications analysis. Developed approach was implemented as program library for generating object reproducing scenarios on Kotlin programming language.