книги Электронные книги Наука, техника, медицина

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

Код 4695538

  • 865 кб
  • январь 2016

Нет в продаже

pdf

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

В работе изучается тестирование соответствия систем, в которых возможна блокировка (приёма) стимулов и разрушение системы. Дивергенция также моделируется разрушением. В качестве соответствия предлагается отношение ioco – обобщение отношения ioco (InputOutput COnformance). Для того, чтобы избегать разрушения реализации при тестировании, отношение строится только на безопасных трассах, которые не могут привести к разрушению. Предлагается гипотеза о безопасности, определяющая класс реализаций,...

Оставить комментарий

Оцените книгу:

Правообладатель: Издательская фирма "Физико-математическая литература"
Дата выхода: январь 2016
Размер файла: 865 Кб
Поставщик контента: ООО «ЛитРес»

Вместе с этой книгой покупают