Details

Целью данной работы является разработка генератора конечного автомата (КА) на языке LibSL для библиотек на основе динамического анализа трасс программ. Предмет исследования работы — методы анализа трасс программ. Ниже приведены задачи, решаемые в рамках данной работы:     1. Исследование предметной области.     2. Постановка задачи.     3. Проектирование приложения.     4. Разработка приложения.     5. Тестирование приложения. В процессе выполнения работы были рассмотрены методы формирования сценариев поведения библиотек и способы инструментирования проектов. Также был произведён обзор аналогичных решений: методов, генерирующих сценарии поведения библиотек на основе полученных трасс программ. В результате работы было разработано приложение, генерирующее спецификацию библиотеки на языке LibSL на основе анализа репозиториев на GitHub, использующих её. Было проведено тестирование работы приложения. Результаты тестирования показывают, что приложение работает. Полученное приложение может быть использовано для упрощения создания части спецификации, определяющей поведение библиотеки.

The purpose of this work is to develop a finite automaton (FA) generator in LibSL language for libraries based on dynamic analysis of programme traces. The subject of research of the work is methods of analysis of program traces. The tasks to be solved in the framework of this work are as follows:     1. Study of the subject area.     2. Problem statement.     3. Designing the application.     4. Developing the application.     5. Testing the application. In the process of work performance the methods of generation of scenarios of library behaviour and ways of project instrumentation were considered. Similar solutions such as methods that generate library behaviour scenarios on the basis of obtained program traces were also reviewed. As a result, an application generating library specification in LibSL language based on analysis of repositories using that library on GitHub was developed. Testing of the application operation was carried out. The results of testing show that the application works. The resulting application can be used to simplify the creation of the part of the specification that defines the librarys behaviour.