Написал сообщение в тусовке литература
0 28 Июля Ответить
Написал сообщение в тусовке литература
0 17 Июля Ответить
Написал сообщение в тусовке литература
0 10 Июня Ответить
Написал сообщение в тусовке литература
0 20 Апреля Ответить
Написал сообщение в тусовке литература
0 13 Апреля Ответить
Написал сообщение в тусовке литература
0 27 Февраля Ответить
Написал сообщение в тусовке литература
0 21 Февраля Ответить
Написал сообщение в тусовке литература
0 31 Января Ответить
Написал сообщение в тусовке литература
0 8 Января Ответить
Написал сообщение в тусовке литература
0 8 Января Ответить
Написал сообщение в тусовке литература
0 8 Января Ответить
Написал сообщение в тусовке литература
0 8 Января Ответить
Написал рецензию в тусовке литература
0
0 7 Октября 2020 Ответить
Написал рецензию в тусовке кино
0
0 4 Сентября 2020 Ответить
Написал рецензию в тусовке литература
0
0 2 Февраля 2020 Ответить
Для быстрого поиска начните вводить запрос
Теория соответствия для систем с блокировками и разрушениями
от 550 руб.

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

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

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