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

Objętość 413 stron

2008 rok

0+

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

399 ₽
31,90 zł

O książce

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

Zaloguj się, aby ocenić książkę i dodać recenzję
Książka «Теория соответствия для систем с блокировками и разрушениями» — pobierz w formacie pdf lub czytaj online. Zostaw komentarze i recenzje, głosuj na ulubione.
Ograniczenie wiekowe:
0+
Data wydania na Litres:
27 stycznia 2016
Data napisania:
2008
Objętość:
413 str.
ISBN:
978-5-9221-0936-9
Całkowity rozmiar:
7.7 МБ
Całkowita liczba stron:
413
Format pobierania:
Audio
Średnia ocena 4,2 na podstawie 852 ocen
Szkic
Średnia ocena 4,9 na podstawie 149 ocen
Tekst, format audio dostępny
Średnia ocena 4,7 na podstawie 627 ocen
Tekst
Średnia ocena 5 na podstawie 20 ocen
Tekst, format audio dostępny
Średnia ocena 4,9 na podstawie 530 ocen
Tekst
Średnia ocena 4,9 na podstawie 547 ocen