|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Мониторинг и тестирование модулей операционных систем на основе абстрактных моделей поведения системыстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Авторы: ЕФРЕМОВ Денис Валентинович, КОПАЧ Виктория Владимировна, КОРНЫХИН Евгений Валерьевич, КУЛЯМИН Виктор Вячеславович, ПЕТРЕНКО Александр Константинович, ХОРОШИЛОВ Алексей Владимирович, ЩЕПЕТКОВ Илья Викторович
- Журнал: Труды Института системного программирования РАН (электронный журнал)
- Том: 33
- Номер: 6
- Год издания: 2021
- Первая страница: 15
- Последняя страница: 26
- Номер статьи: 2
- DOI: 10.15514/ISPRAS-2021-33(6)-2
- Аннотация: В связи с высокой сложностью современных операционных систем (ОС) для спецификации даже отдельных аспектов их функциональности, как, например, функций безопасности, приходится использовать достаточно сложные модели на высокоуровневых языках. При этом задача верификации соответствия таким моделям серьезно усложняется из-за необходимости установления связей между реализацией операционной системы и моделью, представленными на сильно отличающихся языках. В данной работе мы представляем методику установления и поддержания таких связей, которую можно эффективно использовать при тестировании и мониторинге операционных систем. Описанная методика была успешно применена при тестировании и мониторинге компонентов ядра операционной системы Linux с использованием моделей на Event-B.
- Добавил в систему: Кулямин Виктор Вячеславович