ISSN 1816-210X
Язык: ru

Статья: ИНФОРМАТИКА И УПРАВЛЕНИЕ В ТЕХНИЧЕСКИХ И СОЦИАЛЬНЫХ СИСТЕМАХ (2024)

Читать онлайн

Исследованы свойства экспериментов / последовательностей для идентификации текущего состояния
компонентов телекоммуникационных систем. Знание текущего состояния тестируемой системы может снизить
стоимость пассивного тестирования, поскольку в ряде случаев достаточно проверить только критические свой-
ства в данном состоянии. Для подобной идентификации используются установочные / синхронизирующие по-
следовательности / трассы, построенные по различным формальным моделям. В качестве таких моделей для
описания компонентов современных телекоммуникационных систем широко используются расширенные и
временные автоматы. Рассматриваются известные подходы к построению установочных последовательностей
для расширенных и временных автоматов на основе соответствующих конечно-автоматных абстракций, анали-
зируется их эффективность, исследуются свойства установочных / синхронизирующих последовательностей.

Ключевые фразы: конечные автоматы, временные автоматы, расширенные автоматы, установочная / синхронизирующая последовательность, конечно-автоматная абстракция.
Автор (ы): Евтушенко Н. В., Твардовский А. С., Лапутенко А. В.
Журнал: ТРУДЫ НГТУ ИМ. Р.Е. АЛЕКСЕЕВА

Идентификаторы и классификаторы

УДК
519.713. Теория автоматов
Для цитирования:
ЕВТУШЕНКО Н. В., ТВАРДОВСКИЙ А. С., ЛАПУТЕНКО А. В. ИНФОРМАТИКА И УПРАВЛЕНИЕ В ТЕХНИЧЕСКИХ И СОЦИАЛЬНЫХ СИСТЕМАХ // ТРУДЫ НГТУ ИМ. Р.Е. АЛЕКСЕЕВА. 2024. №2 (145)