Описание асинхронной модели поведения
Суммируя информацию о построении асинхронной модели поведения целевой системы в процессе тестирования, можно сказать, что этот процесс состоит из решения двух задач:
- регистрации взаимодействий,
- фиксирования достоверно известной информации о порядке, в котором происходили эти взаимодействия.
Регистрация взаимодействий осуществляется в специальном компоненте тестовой системы - регистраторе взаимодействий. А для решения второй задачи предлагается при регистрации взаимодействий указывать идентификатор канала, к которому относится данное взаимодействие, и временной интервал, в котором оно происходило. Кроме того, требуется фиксировать известные ограничения на порядок временных меток, принадлежащих различным системам координат.
В результате этого тестовая система будет иметь набор асинхронных взаимодействий D, модель каналов Ch и модель временных меток τ. На основе этой информации будет построена асинхронная модель поведения ( P,
- мультимножество взаимодействий P совпадает с D,
- частичный порядок π является транзитивным замыканием объединения частичных порядков Ch иτ.
