Конференция "Технологии Microsoft в теории и практике программирования"

Подход к тестированию параллельных систем на основе UCM-спецификаций

П. Д. Дробинцев, И. В. Никифоров, Н. В. Воинов, В. П. Котляров

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

Аннотация: Изучен подход к тестированию параллельных программных систем, основанный на использовании спецификаций на языке UCM. Рассмотрены UCM-конструкции, позволяющие задавать многопоточное поведение в системе. Описаны эквивалентные им конструкции на языке базовых протоколов, с которым работает средство генерации тестовых сценариев. Представлен подход к автоматическому созданию тестов для многопоточных систем в виде MSC-диаграмм. Представленный подход позволяет на основе анализа независимости параллельных потоков автоматически получать корректные наборы тестов для тестирования параллельных распределенных систем.

Ключевые слова: формальная модель, синхронизация процессов, параллельные вычисления.

УДК: 004.415