Обобщённые семантики тестового взаимодействия.

Обобщённые семантики тестового взаимодействия.

И.Б. Бурдонов, А.С. Косачев.

Аннотация

В данной работе мы обобщаем семантику взаимодействия, допуская наблюдение отказов, не обязательно совпадающих с множеством разрешаемых действий (и даже не обязательно вложенных в него). Рассмотрение состоит из двух частей: сначала рассматриваются модели без приоритетов, а потом вводятся приоритеты.

Издание

Труды Института системного программирования РАН, том 15, 2008, стр. 69-105.

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

Для цитирования

И.Б. Бурдонов, А.С. Косачев. Обобщённые семантики тестового взаимодействия.. Труды Института системного программирования РАН, том 15, 2008, стр. 69-105. .

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