Details

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

The subject of the graduate qualification work is «Fuzzing an application using formal environment specifications». This work is devoted to the development of software for fuzzing an application using a formal specification of the environment from the implicit application side. Tasks that were solved in this work: - Analysis of recent works on the topic of joint use of fuzzing and formal specification; - Analysis and selection of the fuzzer and programming language used; - Development of a method for setting restrictions on data generation from the formal specification; - Development of a software tool for fuzzing using a formal specification of the environment from the implicit input side. This paper analyzes recent work on the topic of joint use of fuzzing tools and formal specification. An analysis of existing fuzzers was carried out. As a result, a method was developed for specifying restrictions in the formal specification for data generation. Software has been developed for generating test objects and their implementation in the software under test.