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

Hajm 413 sahifa

2008 yil

0+

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

112 001,28 s`om
10% chegirma bering
Maslahat bering ushbu kitobni do'stingiz sotib olganidan 11 200,13 soʻm oling.

Kitob haqida

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

Matn PDF
Средний рейтинг 0 на основе 0 оценок
Matn PDF
Средний рейтинг 3 на основе 2 оценок
Matn PDF
Средний рейтинг 0 на основе 0 оценок
Kiring, kitobni baholash va sharh qoldirish uchun
Kitob «Теория соответствия для систем с блокировками и разрушениями» - pdf-ga yuklab oling yoki internetda o'qing. Sharhlar va fikr-mulohazalarni qoldiring, o'zingiz yoqtirganlarga ovoz bering.
Yosh cheklamasi:
0+
Litresda chiqarilgan sana:
27 yanvar 2016
Yozilgan sana:
2008
Hajm:
413 Sahifa
ISBN:
978-5-9221-0936-9
Umumiy o'lcham:
7.7 МБ
Umumiy sahifalar soni :
413
Yuklab olish formati:
Audio
Средний рейтинг 4,1 на основе 1071 оценок
Audio
Средний рейтинг 4 на основе 65 оценок
Matn, audio format mavjud
Средний рейтинг 4,9 на основе 247 оценок
Audio
Средний рейтинг 4,8 на основе 5283 оценок
Matn, audio format mavjud
Средний рейтинг 3,8 на основе 62 оценок
Matn, audio format mavjud
Средний рейтинг 4,3 на основе 778 оценок
Audio
Средний рейтинг 4,7 на основе 3090 оценок
Matn, audio format mavjud
Средний рейтинг 4,7 на основе 1172 оценок
Audio
Средний рейтинг 4,7 на основе 720 оценок
Matn, audio format mavjud
Средний рейтинг 4,7 на основе 7205 оценок