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


Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей.

В.П. Иванников, А.К. Петренко, В.В. Кулямин, А.В. Максимов.

Аннотация

UniTESK — технология тестирования, основанная на формальных моделях (или спецификациях) требований к поведения программных или аппаратных компонентов. В статье описываются наиболее значимые применения технологии UniTESK в промышленных проектах, суммируется их опыт и оцениваются перспективные направления развития компонентных технологий тестирования на основе моделей.

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

тестирование на основе моделей; спецификации; верификация; автоматизированная генерация тестов

Издание

Труды Института системного программирования РАН, том 24, 2013, стр. 207-218.

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

DOI: 10.15514/ISPRAS-2013-24-11

Для цитирования

В.П. Иванников, А.К. Петренко, В.В. Кулямин, А.В. Максимов. Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей. . Труды Института системного программирования РАН, том 24, 2013, стр. 207-218. DOI: 10.15514/ISPRAS-2013-24-11.

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