Тема выпускной квалификационной работы: «Автоматизация фаззинга приложений с помощью формальных спецификаций библиотек». Данная работа посвящена созданию подхода для автоматизации тестирования приложений при их взаимодействии с библиотеками по методике фаззинга, с помощью использования формальных спецификаций. В ходе выполнения магистерской диссертации был разработан инструмент, который использует возможности языка LibSL по описанию семантики библиотек, чтобы генерировать её замену. В новой библиотеке добавляется генератор случайных данных, который позволяет тестировать взаимодействие с приложением на основе возвращаемых из компонента данных. Несмотря на имеющиеся ограничения, разработанный инструмент для тестирования показывает положительные результаты и потенциал для дальнейшего развития подхода.

The subject of master thesis is «Automation of application fuzzing by using formal specifications of libraries». This work is devoted to the development of an approach for automating application and library integration fuzz testing by using formal specifications. During the work on the master's thesis, a testing tool was developed that uses the capabilities of the LibSL language in order to describe the semantics of libraries. This allows the generation of a library duplicate. A random data generator is added to the new library, which allows testing the interaction with the application based on the data returned from the component. Despite the limitations, the developed testing tool shows positive results and potential for further development of the approach.