Warning: file_get_contents(http://partnersdnld.litres.ru/pages/download_prew/?file=20105900&lfrom=334617187): failed to open stream: HTTP request failed! HTTP/1.1 429 Too Many Requests in /home/b/brokenxero/libbooks.ru/public_html/engine/modules/book.php on line 273 Игорь Бурдонов - Теория соответствия для систем с блокировками и разрушениями. читать онлайн или скачать
Сетевая библиотекаСетевая библиотека

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

Теория соответствия для систем с блокировками и разрушениями
Автор: Игорь Бурдонов
Описание книги
В работе изучается тестирование соответствия систем, в которых возможна блокировка (приёма) стимулов и разрушение системы. Дивергенция также моделируется разрушением. В качестве соответствия предлагается отношение ioco – обобщение отношения ioco (InputOutput COnformance). Для того, чтобы избегать разрушения реализации при тестировании, отношение строится только на безопасных трассах, которые не могут привести к разрушению. Предлагается гипотеза о безопасности, определяющая класс реализаций, которые можно тестировать на соответствие заданной спецификации. Рассматриваются два вида моделей: трассовые модели и система переходов (Labelled Transition System), и показывается их эквивалентность. Описывается генерация тестов и её алгоритмизация. Обсуждаются различные виды пополнения спецификаций частично-определённых по стимулам. Сравниваются семантики отношений ioco и ioco. Анализируется проблема несохранения соответствия при композиции и предлагается её решение с помощью монотонного преобразования спецификаций. Излагается общая теория монотонности соответствия и определяются достаточные условия монотонности. Предлагаются монотонные преобразования для общего случая и для подклассов без блокировок и/или разрушения. Рассматриваются проблемы алгоритмизации преобразований и композиции и описываются соответствующие алгоритмы.
Жанр: Автоматика и телемеханика, информатика и вычислительная техника, прочая образовательная литература, электроника Тип: PDF Книга Цена: 637.00 руб. Просмотры: 29 Скачать ознакомительный фрагмент PDF КУПИТЬ И СКАЧАТЬ ЗА: 637.00 руб. ЧТО КАЧАТЬ и КАК ЧИТАТЬ
ФАЙЛ НЕДОСТУПЕН ДЛЯ ЧТЕНИЯ
Автор или правообладатель запретил чтение этой книги онлайн. Скорее всего не удастся и скачать ознакомительную версию. Вы можете получить эту книгу лишь купив её. Просим извинить за доставленные неудобства
КУПИТЬ И СКАЧАТЬ ЗА: 637.00 руб.