Сборники трудов ИСП РАН


Внесение неисправностей в программу с использованием детерминированного воспроизведения.

П.М. Довгалюк, Ю.В. Маркин.

Аннотация

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

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

детерминированное воспроизведение; виртуальная машина; отладка; внесение неисправностей; фаззинг; симулятор; гейзенбаг; QEMU

Издание

Труды Института системного программирования РАН, том 26, вып. 2, 2014, стр. 119-136.

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

DOI: 10.15514/ISPRAS-2014-26(2)-5

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