УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-Yota
 Стрим
 Смольный
Учебный процесс
 Образование
 Дипломы
 Курсовые проекты
 Лабораторные работы
 Учебные курсы
 Визуализаторы
 Unimod-проекты
 Семинары
 Стипендии
Наука
 События и факты
 Госконтракты
 Статьи
 Диссертации
 Книги
 Презентации
 Свидетельства
 Сотрудничество
Исследования
 Автоматы
 Верификация
 Биоинформатика
 Искусственный интеллект
 Генетические алгоритмы
 Движение
 UniMod
 Роботы и агенты
 Нейронные сети
 ФЦП ИТМО-Аалто
 Разное

О нас
 Премии
 Сертификаты и дипломы
 Соревнования по программированию
 Прорыв
 Автографы
 Рецензии

Беллетристика
 Мотивация
 Мысли
Медиа
 Видео
 Фотографии
 Аудио
 Интервью

English
 Home

 Articles
 Posters
 Automata-Based Programming
 Initiatives
 Projects
 Presentations
 UniMod
 UniMod Projects
 Visualizers


Поиск по сайту

Яndex



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


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



© 2011, А.А. Ахи

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

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

Аннотация

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

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




© 2002—2017 По техническим вопросам сайта: vl.ulyantsev@gmail.com