Информация о статье
2010 г., Том 15, № 3, с.52-68
Боженкова Е.Н.
Тестовые эквивалентности для моделей структур событий с непрерывным временем
При верификации сложных вычислительных систем часто применяют понятия тестовой эквивалентности. В работе рассмотрена и решена проблема распознавания временных тестовых эквивалентностей в рамках модели временных структур событий с невидимыми действиями. Предлагаемый способ решения - сведение проблемы к проверке формулы на модели (model-checking). Для этого строятся логические формулы, характеризующие временную структуру событий с точностью до тестовых must- и may-предпорядков
[полный текст] Ключевые слова: Временные структуры событий, тестовые эквивалентности, реальное время, логическая характеризация
Библиографическая ссылка: Боженкова Е.Н. Тестовые эквивалентности для моделей структур событий с непрерывным временем // Вычислительные технологии. 2010. Т. 15. № 3. С. 52-68
|
|
|