Написал сообщение в тусовке литература
0 4 Августа Ответить
Написал сообщение в тусовке литература
0 6 Июля Ответить
Написал сообщение в тусовке литература
0 27 Мая Ответить
Написал сообщение в тусовке литература
0 28 Апреля Ответить
Написал сообщение в тусовке литература
0 4 Апреля Ответить
Написал сообщение в тусовке
0 15 Марта Ответить
Написал сообщение в тусовке
0 15 Марта Ответить
Написал сообщение в тусовке
0 15 Марта Ответить
Написал сообщение в тусовке литература
0 24 Февраля Ответить
Написал сообщение в тусовке литература
0 20 Января Ответить
Написал сообщение в тусовке литература
0 17 Декабря 2021 Ответить
Написал сообщение в тусовке литература
0 22 Октября 2021 Ответить
Написал сообщение в тусовке литература
0 25 Августа 2021 Ответить
Написал сообщение в тусовке литература
0 28 Июля 2021 Ответить
Написал сообщение в тусовке литература
0 17 Июля 2021 Ответить
Написал сообщение в тусовке литература
0 10 Июня 2021 Ответить
Написал сообщение в тусовке литература
0 20 Апреля 2021 Ответить
Написал сообщение в тусовке литература
0 13 Апреля 2021 Ответить
Написал сообщение в тусовке литература
0 27 Февраля 2021 Ответить
Написал сообщение в тусовке литература
0 21 Февраля 2021 Ответить
Для быстрого поиска начните вводить запрос
Теория соответствия для систем с блокировками и разрушениями
от 550 руб.

В работе изучается тестирование соответствия систем, в которых возможна блокировка (приёма) стимулов и разрушение системы. Дивергенция также моделируется разрушением. В качестве соответствия предлагается отношение ioco – обобщение отношения ioco (InputOutput COnformance). Для того, чтобы избегать разрушения реализации при тестировании, отношение строится только на безопасных трассах, которые не могут привести к разрушению. Предлагается гипотеза о безопасности, определяющая класс реализаций, которые можно тестировать на соответствие заданной спецификации. Рассматриваются два вида моделей: трассовые модели и система переходов (Labelled Transition System), и показывается их эквивалентность. Описывается генерация тестов и её алгоритмизация. Обсуждаются различные виды пополнения спецификаций частично-определённых по стимулам. Сравниваются семантики отношений ioco и ioco. Анализируется проблема несохранения соответствия при композиции и предлагается её решение с помощью монотонного преобразования спецификаций. Излагается общая теория монотонности соответствия и определяются достаточные условия монотонности. Предлагаются монотонные преобразования для общего случая и для подклассов без блокировок и/или разрушения. Рассматриваются проблемы алгоритмизации преобразований и композиции и описываются соответствующие алгоритмы.

0.0
Ваша оценка 0.0 Отменить оценку
  • Год выхода
    2008
  • Издательства
    Издательская фирма "Физико-математическая литература"
  • Возраст
    0+
Персоны
Рецензии (0)
Авторизуйтесь чтобы писать рецензии. Все рецензии
Комментарии (0)
Авторизуйтесь чтобы оставлять комментарии.

Поделитесь с друзьями