Теория соответствия для систем с блокировками и разрушениями
| Main Author: | |
|---|---|
| Other Authors: | , |
| Summary: | В работе изучается тестирование соответствия систем, в которых возможна блокировка (приёма) стимулов и разрушение системы. Дивергенция также моделируется разрушением. В качестве соответствия предлагается отношение ioco_beta gamma delta - обобщение отношения ioco (Input-Output COnformance). Для того чтобы избегать разрушения реализации при тестировании, отношение строится только на безопасных трассах, которые не могут привести к разрушению. Предлагается гипотеза о безопасности, определяющая класс реализаций, которые можно тестировать на соответствие заданной спецификации. Рассматриваются два вида моделей: трассовые модели и система переходов (Labelled Transion System), и показывается их эквивалентность. Описывается генерация тестов и её алгоритмизация. Рассматриваются различные виды пополнения спецификаций частично-определённых по стимулам. Сравниваются семантики отношений ioco и ioco_beta gamma delta . Рассматривается проблема несохранения соответствия при композиции и предлагается её решение с помощью монотонного преобразования спецификаций. Излагается общая теория монотонности соответствия и определяются достаточные условия монотонности. Предлагаются монотонные преобразования для общего случая и для подклассов без блокировок и/или разрушения. Рассматриваются проблемы алгоритмизации преобразований и композиции и описываются соответствующие алгоритмы. Книга из коллекции ФИЗМАТЛИТ - Инженерно-технические науки |
| Published: |
Москва, ФИЗМАТЛИТ, 2008
|
| Subjects: | |
| Online Access: | https://e.lanbook.com/books/element.php?pl1_id=59507 https://e.lanbook.com/img/cover/book/59507.jpg |
| Format: | Electronic Book |
