Стохастические системы

О синтезе безусловных установочных и синхронизирующих экспериментов для наблюдаемых входо-выходных полуавтоматов

И. Б. Бурдонов^a, Н. В. Евтушенко^a, А. С. Косачев^a, Н. Г. Кушик<sup>b

a</sup> Институт системного программирования РАН им. В.П. Иванникова, Москва
^b SAMOVAR, Telecom SudParis, Institut Polytechnique de Paris, Палезо, Франция

Аннотация: Исследуется проблема построения синхронизирующих и установочных экспериментов для недетерминированных входо-выходных полуавтоматов; соответствующие входные последовательности активно используются при тестировании (неинициальных) дискретных систем. При активном тестировании появляется возможность установить предъявленный полуавтомат в известное состояние; при пассивном тестировании знание текущего состояния дает возможность сократить количество проверок требуемых свойств и, как следствие, снизить сложность тестирования. Отмечается, что такие эксперименты для входо-выходных полуавтоматов отличаются от хорошо известных “умозрительных” экспериментов с классическими конечными автоматами, устанавливаются условия существования и правила построения таких экспериментов при заранее определенной дисциплине подачи входных сигналов, что позволяет свести задачи построения установочного и синхронизирующего экспериментов к хорошо известной задаче построения установочного и синхронизирующего экспериментов для подходящих конечных автоматов.

Ключевые слова: конечный входо-выходной полуавтомат, установочная последовательность, синхронизирующая последовательность.

Статья представлена к публикации членом редколлегии: М. Ф. Каравай

Поступила в редакцию: 24.12.2022
После доработки: 25.01.2023
Принята к публикации: 26.01.2023

DOI: 10.31857/S0005231023060041

 Англоязычная версия: Automation and Remote Control, 2023, 84:6, 606–611