Институт системного программирования им. В.П. Иванникова РАН


Спецификация и тестирование систем с асинхронным интерфейсом.

Авторы

А.В. Хорошилов.

Аннотация

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

Полный текст статьи в формате pdf

Издание

Препринт Института системного программирования РАН, №12, 2006.

Научная группа

Все публикации за 2006 год Все публикации