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

Objętość 413 stron

2008 rok

0+

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

399 ₽
32 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:
Tekst, format audio dostępny
Średnia ocena 4,7 na podstawie 254 ocen
Audio
Średnia ocena 4,2 na podstawie 736 ocen
Tekst, format audio dostępny
Średnia ocena 4,9 na podstawie 54 ocen
Tekst
Średnia ocena 4,9 na podstawie 2620 ocen
Audio
Średnia ocena 4,8 na podstawie 68 ocen