Параллельное тестирование больших автоматных моделей.

Авторы

Бурдонов И.Б., Грошев С.Г., Демаков А.В., Камкин А.С., Косачев А.С., Сортов А.А.

Аннотация

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

Полный текст статьи в формате pdf

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

функциональное тестирование, формальные спецификации, модели аппаратуры, распределенные системы, распределенное тестирование, конечные автоматы.

Издание

Вестник ННГУ, №3, 2011 г., стр. 187-193.

Научная группа

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

Все публикации за 2011 год

Все публикации