- Код статьи
- 10.31857/S0005231023060041-1
- DOI
- 10.31857/S0005231023060041
- Тип публикации
- Статья
- Статус публикации
- Опубликовано
- Авторы
- Том/ Выпуск
- Том / Номер выпуска 6
- Страницы
- 67-78
- Аннотация
- Исследуется проблема построения синхронизирующих и установочных экспериментов для недетерминированных входо-выходных полуавтоматов; соответствующие входные последовательности активно используются при тестировании (неинициальных) дискретных систем. При активном тестировании появляется возможность установить предъявленный полуавтомат в известное состояние; при пассивном тестировании знание текущего состояния дает возможность сократить количество проверок требуемых свойств и, как следствие, снизить сложность тестирования. Отмечается, что такие эксперименты для входо-выходных полуавтоматов отличаются от хорошо известных “умозрительных” экспериментов с классическими конечными автоматами, устанавливаются условия существования и правила построения таких экспериментов при заранее определенной дисциплине подачи входных сигналов, что позволяет свести задачи построения установочного и синхронизирующего экспериментов к хорошо известной задаче построения установочного и синхронизирующего экспериментов для подходящих конечных автоматов.
- Ключевые слова
- конечный входо-выходной полуавтомат установочная последовательность синхронизирующая последовательность
- Дата публикации
- 15.06.2023
- Год выхода
- 2023
- Всего подписок
- 0
- Всего просмотров
- 22
Библиография
- 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.
