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

Maht 413 lehekülgi

2008 aasta

0+

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

€6,56

Raamatust

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

Logi sisse, et hinnata raamatut ja jätta arvustus
Raamat «Теория соответствия для систем с блокировками и разрушениями» — laadi alla pdf formaadis või loe veebis. Jäta kommentaare ja arvustusi, hääleta lemmikute poolt.
Vanusepiirang:
0+
Ilmumiskuupäev Litres'is:
27 jaanuar 2016
Kirjutamise kuupäev:
2008
Objętość:
413 lk
ISBN:
978-5-9221-0936-9
Üldsuurus:
7.7 МБ
Lehekülgede koguarv:
413
Allalaadimise formaat:
Audio
Keskmine hinnang 4,8, põhineb 76 hinnangul
Tekst
Keskmine hinnang 4,9, põhineb 334 hinnangul
Audio
Keskmine hinnang 4,5, põhineb 238 hinnangul
Tekst, helivorming on saadaval
Keskmine hinnang 4,7, põhineb 537 hinnangul
Tekst
Keskmine hinnang 4,3, põhineb 287 hinnangul
Tekst, helivorming on saadaval
Keskmine hinnang 4,9, põhineb 1925 hinnangul
Tekst, helivorming on saadaval
Keskmine hinnang 4,7, põhineb 400 hinnangul