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

Maht 413 lehekülge

2008 aasta

0+

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

€7,63

Raamatust

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

Tekst PDF
Средний рейтинг 0 на основе 0 оценок
Tekst PDF
Средний рейтинг 3 на основе 2 оценок
Tekst PDF
Средний рейтинг 0 на основе 0 оценок
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:
Tekst
Средний рейтинг 4,9 на основе 297 оценок
Audio
Средний рейтинг 4,1 на основе 1070 оценок
Audio
Средний рейтинг 4,7 на основе 354 оценок
Mustand
Средний рейтинг 4,5 на основе 50 оценок
Tekst
Средний рейтинг 5 на основе 32 оценок
Mustand, helivorming on saadaval
Средний рейтинг 4,8 на основе 316 оценок
Audio
Средний рейтинг 4 на основе 65 оценок
Tekst, helivorming on saadaval
Средний рейтинг 4,2 на основе 126 оценок
Audio
Средний рейтинг 4,6 на основе 1098 оценок
Tekst
Средний рейтинг 4,9 на основе 1484 оценок