Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

Материал конференции: "Научный сервис в сети Интернет: труды XXI Всероссийской научной конференции (23-28 сентября 2019 г., г. Новороссийск)"
Авторы: Бурдонов И.Б., Евтушенко Н.В., Косачев А.С.
О различимости систем переходов с недетерминированным поведением
Аннотация:
При синтезе тестов для проверки функциональных и нефункциональных требований для компонентов распределенных систем особое значение имеет понятие различимости, поскольку должна быть возможность отличить правильно функционирующий компонент от неправильно функционирующего, и при активном тестировании для этого используются специальные различающие эксперименты. Такие эксперименты хорошо исследованы для детерминированных и полностью определенных автоматов, однако компоненты распределенных систем часто описываются только частично и имеют недетерминированное поведение. В этой работе мы рассматриваем модель входо-выходного полуавтомата и вводим понятие (адаптивной) разделяющей последовательности для двух таких полуавтоматов, при однократной подаче которой можно однозначно распознать, какой из двух полуавтоматов представлен для эксперимента.
Ключевые слова:
входо-выходной полуавтомат, (адаптивная) разделяющая последовательность
Язык публикации: русский,  страниц: 11 (с. 177-187)
Полный текст на русском языке: Сведения об авторах:
  • Бурдонов Игорь Борисович,  orcid.org/0000-0001-9539-7853,  ИСП РАН
  • Евтушенко Нина Владимировна,  orcid.org/0000-0002-4006-1161,  ИСП РАН
  • Косачев Александр Сергеевич,  ,  ИСП РАН