К содержанию
CiteXCiteX — научный поиск с источниками
РецензированоRU2023

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

И.Б.Бурдонов Н.В.Евтушенко и др.

Научные статьи · 2023

Аннотация

Исследуется проблема построения синхронизирующих и установочных экспериментов для недетерминированных входо-выходных полуавтоматов: соответствующие входные последовательности активно используются при тестировании дискретных систем. При активном тестировании появляется возможность установить предъявленный полуавтомат в известное состояние: при пассивном тестировании знание текущего состояния дает возможность сократить количество проверок требуемых свойств и, как следствие, снизить сложность тестирования.

Доказательный фрагмент

«Исследуется проблема построения синхронизирующих и установочных экспериментов для недетерминированных входо-выходных полуавтоматов: соответствующие входные последовательности активно используются при тестировании диск…»

Образец извлечения

Демо-превью

Исследуется проблема построения синхронизирующих и установочных экспериментов для недетерминированных входо-выходных полуавтоматов: соответствующие входные последовательности активно используются при тестировании диск… Полный текст публикации CiteX не хранит — доступ к первоисточнику открывается по DOI согласно лицензии издателя и выбранному плану.

DOI не указан
Цитирований
0
Тип
Журнал
Страна
Узбекистан
Спросить CiteX об этой работе

Смежные источники