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


Теория соответствия для систем с блокировками и разрушением.

Авторы

И.Б.Бурдонов, Косачев А.С., В.В.Кулямин.

Аннотация

В работе изучается тестирование соответствия систем, в которых возможна блокировка (приёма) стимулов и разрушение системы. Дивергенция также моделируется разрушением. В качестве соответствия предлагается отношение iocoβγδ – обобщение отношения ioco (Input-Output COnformance). Для того, чтобы избегать разрушения реализации при тестировании, отношение строится только на безопасных трассах, которые не могут привести к разрушению. Предлагается гипотеза о безопасности, определяющая класс реализаций, которые можно тестировать на соответствие заданной спецификации. Рассматриваются два вида моделей: трассовые модели и система переходов (Labelled Transition System), и показывается их эквивалентность. Описывается генерация тестов и её алгоритмизация. Рассматриваются различные виды пополнения частично-определённых по стимулам спецификаций. Сравниваются семантики отношений ioco и iocoβγδ. Рассматривается проблема несохранения соответствия при композиции и предлагается её решение с помощью монотонного преобразования спецификаций. Излагается общая теория
монотонности соответствия и определяются достаточные условия монотонности. Предлагаются монотонные преобразования для общего случая и для подклассов без блокировок и/или разрушения. Рассматриваются проблемы алгоритмизации преобразований и композиции и описываются соответствующие алгоритмы.

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

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

test machines, conformance testing, trace models, labelled transition system, ioco relation, partially input-enabled, refused inputs, forbidden actions, safe testing, test generation, specification completion, asynchronous testing, composition verificatio

Издание

М.: Наука. Глав. ред. физ.-мат. лит., 2008. 412 c.

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

Технологии программирования

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