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


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

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

Аннотация

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

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

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

Издание

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

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

DOI: 10.15514/ISPRAS-2013-24-11

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