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

Объем 413 страниц

2008 год

0+

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

399 ₽
699 ₽
Подарите скидку 10%
Посоветуйте эту книгу и получите 69,91 ₽ с покупки её другом.

О книге

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

Войдите, чтобы оценить книгу и оставить отзыв
Книга «Теория соответствия для систем с блокировками и разрушениями» — скачать в pdf или читать онлайн. Оставляйте комментарии и отзывы, голосуйте за понравившиеся.
Возрастное ограничение:
0+
Дата выхода на Литрес:
27 января 2016
Дата написания:
2008
Объем:
413 стр.
ISBN:
978-5-9221-0936-9
Общий размер:
7.7 МБ
Общее кол-во страниц:
413
Формат скачивания:
Аудио
Средний рейтинг 4,2 на основе 558 оценок
Аудио
Средний рейтинг 4,7 на основе 989 оценок
Аудио
Средний рейтинг 4,2 на основе 9 оценок
Текст, доступен аудиоформат
Средний рейтинг 4,7 на основе 438 оценок
Аудио
Средний рейтинг 4,7 на основе 13 оценок
Текст, доступен аудиоформат
Средний рейтинг 4,8 на основе 850 оценок
Аудио
Средний рейтинг 4,6 на основе 782 оценок
Аудио
Средний рейтинг 4,8 на основе 148 оценок
Текст, доступен аудиоформат
Средний рейтинг 4,8 на основе 6 оценок
Текст, доступен аудиоформат
Средний рейтинг 4,7 на основе 35 оценок