Обобщённые семантики тестового взаимодействия
В данной работе мы обобщаем семантику взаимодействия, допуская наблюдение отказов, не обязательно совпадающих с множеством разрешаемых действий (и даже не обязательно вложенных в него). Рассмотрение состоит из двух частей: сначала рассматриваются модели без приоритетов, а потом вводятся приоритеты....
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Ivannikov Institute for System Programming of the Russian Academy of Sciences
2008-01-01
|
| Series: | Труды Института системного программирования РАН |
| Online Access: | https://www.ispras.ru/en/proceedings/isp_15_2008/isp_15_2008_69/ |