Поиск :
Личный кабинет :
Электронный каталог: Бурдонов, И. Б. - Теория соответствия для систем с блокировками и разрушением
Бурдонов, И. Б. - Теория соответствия для систем с блокировками и разрушением
Нет экз.
Электронный ресурс
Автор: Бурдонов, И. Б.
Теория соответствия для систем с блокировками и разрушением : монография
Издательство: ФИЗМАТЛИТ, 2010 г.
ISBN отсутствует
Автор: Бурдонов, И. Б.
Теория соответствия для систем с блокировками и разрушением : монография
Издательство: ФИЗМАТЛИТ, 2010 г.
ISBN отсутствует
На полку
Электронный ресурс
Бурдонов, И. Б.
Теория соответствия для систем с блокировками и разрушением : монография. – Москва : ФИЗМАТЛИТ, 2010. – 410 с. – URL: https://biblioclub.ru/index.php?page=book&id=68143. – Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация . – На рус. яз.
В работе изучается тестирование соответствия систем, в которых возможна блокировка (приёма) стимулов и разрушение системы. Дивергенция также моделируется разрушением. Для того чтобы избегать разрушения реализации при тестировании, отношение строится только на безопасных трассах, которые не могут привести к разрушению. Предлагается гипотеза о безопасности, определяющая класс реализаций, которые можно тестировать на соответствие заданной спецификации. Рассматриваются два вида моделей: трассовые модели и система переходов (Labelled Transition System), и показывается их эквивалентность. Описывается генерация тестов и её алгоритмизация.Рассматриваются различные виды пополнения спецификаций частично-определённых по стимулам. Сравниваются семантики отношений Рассматривается проблема несохранения соответствия при композиции и предлагается её решение с помощью монотонного преобразования спецификаций. Излагается общая теория монотонности соответствия и определяются достаточные условия монотонности. Предлагаются монотонные преобразования для общего случая и для подклассов без блокировок и/или разрушения. Рассматриваются проблемы алгоритмизации преобразований и композиции и описываются соответствующие алгоритмы.
Бурдонов, И. Б.
Теория соответствия для систем с блокировками и разрушением : монография. – Москва : ФИЗМАТЛИТ, 2010. – 410 с. – URL: https://biblioclub.ru/index.php?page=book&id=68143. – Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация . – На рус. яз.
В работе изучается тестирование соответствия систем, в которых возможна блокировка (приёма) стимулов и разрушение системы. Дивергенция также моделируется разрушением. Для того чтобы избегать разрушения реализации при тестировании, отношение строится только на безопасных трассах, которые не могут привести к разрушению. Предлагается гипотеза о безопасности, определяющая класс реализаций, которые можно тестировать на соответствие заданной спецификации. Рассматриваются два вида моделей: трассовые модели и система переходов (Labelled Transition System), и показывается их эквивалентность. Описывается генерация тестов и её алгоритмизация.Рассматриваются различные виды пополнения спецификаций частично-определённых по стимулам. Сравниваются семантики отношений Рассматривается проблема несохранения соответствия при композиции и предлагается её решение с помощью монотонного преобразования спецификаций. Излагается общая теория монотонности соответствия и определяются достаточные условия монотонности. Предлагаются монотонные преобразования для общего случая и для подклассов без блокировок и/или разрушения. Рассматриваются проблемы алгоритмизации преобразований и композиции и описываются соответствующие алгоритмы.