Proceedings of ISP RAS


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

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

Abstract

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

Edition

Proceedings of the Institute for System Programming, vol. 15 (in Russian), 2008, Стр. 69-105.

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

Full text of the paper in pdf (in Russian) Back to the contents of the volume