Автоматические методы модификации решений для тестирования проверяющих программ

© 2011, А.А. Ахи

Санкт-Петербургский государственный университет информационных технологий, механики и оптики

Полный текст работы
Презентация

Аннотация

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

Эффективность предлагаемого метода демонстрируется на примере задача полуфинальных соревнований чемпионата мира по программированию среди студентов ACM ICPC NEERC, а также соревнования Russian Code Cup 2011. По результатам проведенного тестирования в проверяющих программах удалось выявить ряд ошибок, которые не удавалось обнаружить до этого.