Системы с приоритетами: конформность, тестирование, композиция.

Системы с приоритетами: конформность, тестирование, композиция.

Авторы

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

Аннотация

В статье представлен подход к моделированию компонентов распределенных систем, взаимодействие которых построено на обработке событий с учетом их приоритетов. Несмотря на широкое использование на практике приоритетной обработки запросов или сообщений, математические модели взаимодействия таких программ чаще всего абстрагируются от приоритетов, вводя излишний недетерминизм в описание их поведения. Предложенный подход пытается избежать этого недостатка за счет определения параллельной композиции, моделирующей взаимодействие такого рода. Основное содержание статьи – построение формальной теории тестирования компонентов, использующих приоритеты. В рамках этой теории вводятся понятие безопасного выполнения модели и отношение конформности между моделями, а также рассматриваются вопросы построения наборов тестов, проверяющих конформность.

Издание

Программирование, 2009, №4–стр. 24-40.

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

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

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

Все публикации