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

Обложка

Цитировать

Полный текст

Открытый доступ Открытый доступ
Доступ закрыт Доступ предоставлен
Доступ закрыт Доступ платный или только для подписчиков

Аннотация

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

Об авторах

И. Б Бурдонов

Институт системного программирования РАН им. В.П. Иванникова

Email: igor@ispras.ru
Москва

Н. В. Евтушенко

Институт системного программирования РАН им. В.П. Иванникова

Email: evtushenko@ispras.ru
Москва

А. С Косачев

Институт системного программирования РАН им. В.П. Иванникова

Email: kos@ispras.ru
Москва

Н. Г Кушик

SAMOVAR, Telecom SudParis, Institut Polytechnique de Paris

Автор, ответственный за переписку.
Email: natalia.kushik@telecom-sudparis.eu
Палезо, Франция

Список литературы

  1. Гилл А. Введение в теорию конечных автоматов. М.: Наука, 1966.
  2. Евтушенко Н.В., Кушик Н.Г. Некоторые задачи идентификации состояний для недетерминированных автоматов. Томск: STT Publishing, 2018.
  3. Burdonov I., Yevtushenko N., Kossatchev A. Separating Input/Output Automata With Nondeterministic Behavior // Rus. Diginal Librar. J. 2020. V. 23. No. 4. P. 634-655.
  4. Hennie F. Fault detecting experiments for sequential circuits // 5th Annual Symposium On Switching Circuit Theory And Logical Design, Princeton, New Jersey, USA, November 11-13, 1964, P. 95-110.
  5. Kushik N., Lopez J., Cavalli A., Yevtushenko N. Improving Protocol Passive Testing through "Gedanken" Experiments with Finite State Machines // 2016 IEEE International Conference On Software Quality, Reliability And Security, QRS 2016, Vienna, Austria, August 1-3, 2016, P. 315-322.
  6. Kushik N., Yevtushenko N., Burdonov I., Kossachev A. Synchronizing and Homing Experiments for Input/output Automata // Syst. Inform. 2017. No. 10. P. 1-10.
  7. Sandberg S. Homing and Synchronizing Sequences // Model-Based Testing Of Reactive Systems, Advanced Lectures [The Volume Is The Outcome Of A Research Seminar That Was Held In Schloss Dagstuhl In January 2004], 2004. P. 5-33.
  8. Tretmans J. A Formal Approach to Conformance Testing // Protocol Test Systems, VI, Proceedings Of The IFIP TC6/WG6.1 Sixth International Workshop On Protocol Test Systems, Pau, France, 28-30 September, 1993. P. 257-276.

Дополнительные файлы

Доп. файлы
Действие
1. JATS XML
Скачать

© Российская академия наук, 2023