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


Развитие подхода к разработке тестов UniTESK.

В.В. Кулямин, А.К. Петренко.

Аннотация

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

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

тестирование на основе моделей, автоматизация тестирования, формальные спецификации, программные контракты, масштабируемость тестов.

Издание

Труды Института системного программирования РАН, том 26, вып. 1, 2014, стр. 9-26.

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

DOI: 10.15514/ISPRAS-2014-26(1)-1

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