Информация о статье

2010 г., Том 15, № 3, с.52-68

Боженкова Е.Н.

Тестовые эквивалентности для моделей структур событий с непрерывным временем

При верификации сложных вычислительных систем часто применяют понятия тестовой эквивалентности. В работе рассмотрена и решена проблема распознавания временных тестовых эквивалентностей в рамках модели временных структур событий с невидимыми действиями. Предлагаемый способ решения - сведение проблемы к проверке формулы на модели (model-checking). Для этого строятся логические формулы, характеризующие временную структуру событий с точностью до тестовых must- и may-предпорядков

[полный текст]
Ключевые слова: Временные структуры событий, тестовые эквивалентности, реальное время, логическая характеризация

Библиографическая ссылка:
Боженкова Е.Н. Тестовые эквивалентности для моделей структур событий с непрерывным временем // Вычислительные технологии. 2010. Т. 15. № 3. С. 52-68
Главная| Цели| Редколлегия| Содержание| Поиск| Подписка| Правила| Контакты
ISSN 1560-7534
© 2024 ФИЦ ИВТ, Новосибирск