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

Umfang 413 seiten

2008 Jahr

0+

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

€6,56

Über das Buch

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

Einloggen, um das Buch zu bewerten und eine Rezension zu hinterlassen
Buch «Теория соответствия для систем с блокировками и разрушениями» — als pdf herunterladen oder online lesen. Hinterlassen Sie Kommentare und Bewertungen, stimmen Sie für Ihre Favoriten.
Altersbeschränkung:
0+
Veröffentlichungsdatum auf Litres:
27 Januar 2016
Schreibdatum:
2008
Umfang:
413 S.
ISBN:
978-5-9221-0936-9
Gesamtgröße:
7.7 МБ
Gesamtanzahl der Seiten:
413
Download-Format:
Audio
Durchschnittsbewertung 4,7 basierend auf 958 Bewertungen
Audio
Durchschnittsbewertung 4,8 basierend auf 76 Bewertungen
Text
Durchschnittsbewertung 4,9 basierend auf 334 Bewertungen
Audio
Durchschnittsbewertung 4,5 basierend auf 238 Bewertungen
Text, audioformat verfügbar
Durchschnittsbewertung 4,7 basierend auf 537 Bewertungen
Text
Durchschnittsbewertung 4,3 basierend auf 287 Bewertungen
Text, audioformat verfügbar
Durchschnittsbewertung 4,9 basierend auf 1925 Bewertungen
Audio
Durchschnittsbewertung 5 basierend auf 306 Bewertungen
Text, audioformat verfügbar
Durchschnittsbewertung 4,7 basierend auf 400 Bewertungen