Уцененные книги. РАСПРОДАЖА →

УЦЕНКА! Теория соответствия для систем с блокировками и разрушениями

Добавить к сравнению

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

Автор	Бурдонов Игорь Борисович, Косачев Александр Cергеевич, Кулямин Виктор Вячеславович
Издательство	ООО "Физматлит"
Дата издания	2008
Кол-во страниц	412
ISBN	978-5-9221-0936-9
Тематика	Математика. Прикладная математика (н)
№ в каталоге	936
Вес книги	515 г