Электронная книга: Виктор Кулямин «Теория соответствия для систем с блокировками и разрушениями»

Теория соответствия для систем с блокировками и разрушениями

Серия: "Математика. Прикладная математика"

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

Издательство: "Издательская фирма"Физико-математическая литература"" (2008)

ISBN: 978-5-9221-0936-9

электронная книга

Купить за 637 руб и скачать на Litres

Другие книги схожей тематики:

АвторКнигаОписаниеГодЦенаТип книги

См. также в других словарях:

  • Кулямин, Александр Петрович — Александр Кулямин Имя при рождении: Кулямин, Александр Петрович Дата рождения: 9 сентября 1964(1964 09 09) (48 лет) Место рождения: Москва …   Википедия

  • ГАРДЕМАРИНЫ-3 — ГАРДЕМАРИНЫ III, Россия Германия, ЦЦЦ Фильмкунст ГМБХ (Германия) / Жанр (кинокомпания «Мосфильм»), 1992, цв., 107 мин. Приключенческий сериал. Третий фильм трилогии, посвященной приключениям юных участников истории России конца XVII начала XVIII… …   Энциклопедия кино

  • ЖИЛ ОТВАЖНЫЙ КАПИТАН — «ЖИЛ ОТВАЖНЫЙ КАПИТАН», СССР, МОСФИЛЬМ, 1985, цв., 93 мин. Героико романтическая драма. 1944 год. Девятнадцатилетний лейтенант Анастасий Чижов(или попросту Тося), потомственный капитан, принимает командование военным сторожевым кораблем «Зверь»,… …   Энциклопедия кино

  • Дикий 2 — У этого термина существуют и другие значения, см. Дикий. Дикий 2 Жанр Детектив В главных ролях Игорь Лифанов Мария Баева Артём Мазунов Владимир Стержаков Екатерина Семёнова Страна …   Википедия

  • Слепой (телесериал) — Слепой Жанр боевик криминальный фильм экранизация Детектив Страна …   Википедия

  • Гардемарины — III Жанр приключенческий фильм исторический фильм мелодрама Режиссёр …   Википедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»