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