Комбинаторная генерация программных конфигураций ОС

Виктор Кулямин. Начало семинара - 19 февраля 2013 г.

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

С презентацией доклада можно ознакомиться здесь.

Семинар группы

Технологии программирования

Перейти к списку семинаров ИСП РАН