Главная страница
russian   english
16+
<< назад

Название статьи

ПАРАЛЛЕЛЬНОЕ ТЕСТИРОВАНИЕ БОЛЬШИХ АВТОМАТНЫХ МОДЕЛЕЙ


Номер журнала
3
Дата выпуска
2011

Тип статьи
научная статья
Коды УДК
004.415.53
Страницы
187-193
Ключевые слова
функциональное тестирование, формальные спецификации, модели аппаратуры, распределенные системы, распределенное тестирование, конечные автоматы

Авторы
Бурдонов Игорь Борисович
Грошев Сергей Георгиевич
Демаков Алексей Васильевич
Камкин Александр Сергеевич
Косачев Александр Сергеевич
Сортов Александр Александрович

Место работы
Бурдонов Игорь Борисович
Институт системного программирования РАН, Москва

Грошев Сергей Георгиевич
Институт системного программирования РАН, Москва

Демаков Алексей Васильевич
Институт системного программирования РАН, Москва

Камкин Александр Сергеевич
Институт системного программирования РАН, Москва

Косачев Александр Сергеевич
Институт системного программирования РАН, Москва

Сортов Александр Александрович
Институт системного программирования РАН, Москва


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

Загрузить статью

Библиографический список
1 . Кулямин В.В., Петренко А.К., Косачев А.С., Бурдонов И.Б. Подход UniTesK к разработке тестов // Программирование. 2003. № 29(6). С. 25-43.
2 . Бурдонов И.Б., Косачев А.С., Кулямин В.В. Неизбыточные алгоритмы обхода ориентированных графов: детерминированный случай // Программирование. 2003. № 29(5). С. 59-69.
3 . Бурдонов И.Б., Косачев А.С., Кулямин В.В. Использование конечных автоматов для тестирования программ // Программирование. 2000. № 26(2). С. 61-73.
4 . Грошев С.Г. Локализация ошибок методом построения сокращенных трасс // Программирование. 2009. № 35(3). С. 35-50.
5 . Бурдонов И.Б., Косачев А.С., Кулямин В.В. Неизбыточные алгоритмы обхода ориентированных графов: недетерминированный случай. // Программирование. 2004. № 1(30). С. 2-17.
6 . Иванников В.П., Камкин А.С., Косачев А.С., Кулямин В.В., Петренко А.К. Использование контрактных спецификаций для представления требований и функционального тестирования моделей аппаратуры // Программирование. 2007. № 33(5). C. 47-61.