Полное описание

68143
Бурдонов, И. Б. Теория соответствия для систем с блокировками и разрушением : монография / И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин. - Москва : Физматлит, 2010. - 410 с. - URL: https://biblioclub.ru/index.php?page=book&id=68143 (дата обращения: 30.10.2023) . - Режим доступа: Электронно-библиотечная система "Университетска библиотека ONLINE", требуется авторизация. - Б. ц.

	ББК
	32.97

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

https://biblioclub.ru/index.php?page=book&id=68143

Просмотр издания Электронно-библиотечная система "Университетска библиотека ONLINE", требуется авторизация