Close
Мобильное приложение ЭБС "Университетская Библиотека Онлайн"
Теория соответствия для систем с блокировками и разрушением
Постраничный просмотр для данной книги Вам недоступен.
Книга доступна по подписке. Для получения доступа к этому изданию обратитесь, пожалуйста, в библиотеку Вашей организации.
Загрузить в приложение

Библиографическое описание

Аннотация
В работе изучается тестирование соответствия систем, в которых возможна блокировка (приёма) стимулов и разрушение системы. Дивергенция также моделируется разрушением.

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

Рассматриваются различные виды пополнения спецификаций частично-определённых по стимулам. Сравниваются семантики отношений Рассматривается проблема несохранения соответствия при композиции и предлагается её решение с помощью монотонного преобразования спецификаций. Излагается общая теория монотонности соответствия и определяются достаточные условия монотонности.

Предлагаются монотонные преобразования для общего случая и для подклассов без блокировок и/или разрушения. Рассматриваются проблемы алгоритмизации преобразований и композиции и описываются соответствующие алгоритмы.

Содержание

Описание в RusMarc
Рекомендации материалов по теме: нет