Бурдонов, И. Б.
Теория соответствия для систем с блокировками и разрушениями / И. Б. Бурдонов, А. C. Косачев, В. В. Кулямин. - Электрон. дан. (1 файл). - Москва : ФИЗМАТЛИТ, 2008. - 412 с. - URL: http://www.iprbookshop.ru/24679.

Аннотация: В работе изучается тестирование соответствия систем, в которых возможна блокировка (приема) стимулов и разрушение системы. Дивергенция также моделируется разрушением. В качестве соответствия предлагается отношение ioco- — обобщение отношения ioco (Input-Output COnformance). Для того чтобы избегать разрушения реализации при тестировании, отношение строится только на безопасных трассах, которые не могут привести к разрушению. Предлагается гипотеза о безопасности, определяющая класс реализаций, которые можно тестировать на соответствие заданной спецификации. Рассматриваются два вида моделей: трассовые модели и система переходов (Labelled Transition System), и показывается их эквивалентность. Описывается генерация тестов и ее алгоритмизация. Обсуждаются различные виды пополнения спецификаций частично-определенных по стимулам. Сравниваются семантики отношений ioco и ioco­. Анализируется проблема несохранения соответствия при композиции и предлагается ее решение с помощью монотонного преобразования спецификаций. Излагается общая теория монотонности соответствия и определяются достаточные условия монотонности. Предлагаются монотонные преобразования для общего случая и для подклассов без блокировок и/или разрушения. Рассматриваются проблемы алгоритмизации преобразований и композиции и описываются соответствующие алгоритмы.

ББК: 32.817

URL биб.описания: http://lib.chgpu.edu.ru/MegaPro/UserEntry?Action=FindDocs&ids=108756&idb=mega1