By this author

On Preset Homing and Synchronizing Sequences for Observable Input/Output Automata

Issue number 6 from 15.06.2023

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

25 0