- Культура. Искусство
- Психология
- Домашние ремесла. Рукоделие
- Растениеводство
- Коллекционирование
- Публицистика
- Эзотерика. Парапсихология
- Медицина и здоровье
- История. Исторические науки
- Филологические науки
- Развлечения. Праздники
- Экономика. Бизнес
- Книги для родителей
- Кулинария
- Охота. Рыбалка. Собирательство
- Секс. Камасутра
- Туризм. Путеводители. Транспорт
- Философские науки. Социология
- Уход за животными
- Ремонт. Строительство. Интерьер
- Естественные науки
- Информационные технологии
- Фитнес. Спорт. Самооборона
- Красота. Этикет
- Государство и право. Юриспруденция
Теория соответствия для систем с блокировками и разрушениями; Издательская фирма "Физико-математическая литература", 2008
559 р.
- Издатель: Издательская фирма "Физико-математическая литература"
- ISBN: 978-5-9221-0936-9
- Книги: Техническая литература
- ID:5925515
Где купить (1)
Цена от 559 р. до 559 р. в 1 магазинах
Магазин | Цена | Наличие |
---|---|---|
Описание
В работе изучается тестирование соответствия систем, в которых возможна блокировка (приёма) стимулов и разрушение системы. Дивергенция также моделируется разрушением. В качестве соответствия предлагается отношение ioco – обобщение отношения ioco (InputOutput COnformance). Для того, чтобы избегать разрушения реализации при тестировании, отношение строится только на безопасных трассах, которые не могут привести к разрушению. Предлагается гипотеза о безопасности, определяющая класс реализаций, которые можно тестировать на соответствие заданной спецификации. Рассматриваются два вида моделей: трассовые модели и система переходов (Labelled Transition System), и показывается их эквивалентность. Описывается генерация тестов и её алгоритмизация. Обсуждаются различные виды пополнения спецификаций частично-определённых по стимулам. Сравниваются семантики отношений ioco и ioco. Анализируется проблема несохранения соответствия при композиции и предлагается её решение с помощью монотонного преобразования спецификаций. Излагается общая теория монотонности соответствия и определяются достаточные условия монотонности. Предлагаются монотонные преобразования для общего случая и для подклассов без блокировок и/или разрушения. Рассматриваются проблемы алгоритмизации преобразований и композиции и описываются соответствующие алгоритмы.
Смотри также о книге.
О книге
Параметр | Значение |
---|---|
Автор(ы) | Виктор Кулямин |
Издатель | Издательская фирма "Физико-математическая литература" |
Год издания | 2008 |
Серия | Математика. Прикладная математика |
ISBN | 978-5-9221-0936-9 |
Отзывы (0)
Добавить отзыв
Книги: Технические науки - издательство "Издательская фирма "Физико-математическая литература""
Категория 447 р. - 670 р.
Книги: Технические науки
Категория 447 р. - 670 р.