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


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

В.В. Кулямин.

Аннотация

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

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

конфигурационное тестирование; покрывающий набор; генерация тестов

Издание

Труды Института системного программирования РАН, том 23, 2012, стр. 359-370.

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

DOI: 10.15514/ISPRAS-2012-23-20

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