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


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

М.М. Чупилко.

Аннотация

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

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

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

Издание

Труды Института системного программирования РАН, том 18, 2010, стр. 115-128.

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

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