DIFFuzzer: шаг на пути к тестированию файловых систем на основе спецификаций

DIFFuzzer: шаг на пути к тестированию файловых систем на основе спецификаций

Янин А.С. (ИТМО, Санкт-Петербург, Россия)
Ицыксон В.М. (ИТМО, Санкт-Петербург, Россия)
Кечин В.В. (ИТМО, Санкт-Петербург, Россия)
Ковалевский В.М. (ИТМО, Санкт-Петербург, Россия)

Аннотация

В статье описан следующий шаг развития мутационного дифференциального фаззера файловых систем DIFFuzzer, предполагающий интеграцию формальных спецификаций для улучшения его возможностей тестирования. Изначально DIFFuzzer разрабатывался на основе дифференциального подхода с интеграцией в исходный код модели POSIX, что ограничивало гибкость и масштабируемость инструмента. Предлагаемый улучшенный подход разделяет логику фаззера и модель при помощи выделения последней во внешнюю формальную спецификацию, написанную на языке LibSL. Это позволяет создавать более точные тестовые оракулы и облегчает генерацию рабочей нагрузки. В данной работе мы подробно описываем текущее состояние проекта, включая расширение LibSL и реализацию тестового оракула на основе спецификаций. Также описаны направления будущей работы и связанные с ними проблемы, такие как совершенствование формальной спецификации POSIX и развитие модуля генерации рабочей нагрузки на основе спецификаций.

Ключевые слова

модельно-ориентированное тестирование; фаззинг; формальные спецификации; файловые системы; POSIX.

Издание

Труды Института системного программирования РАН, том 38, вып. 5, 2026, стр. 91-102.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2026-38(5)-6

Для цитирования

Янин А.С., Ицыксон В.М., Кечин В.В., Ковалевский В.М. DIFFuzzer: шаг на пути к тестированию файловых систем на основе спецификаций. Труды Института системного программирования РАН, том 38, вып. 5, 2026, стр. 91-102. DOI: 10.15514/ISPRAS-2026-38(5)-6.

Полный текст статьи в формате pdf (на английском) Вернуться к содержанию тома