- PII
- 10.31857/S0005231023060041-1
- DOI
- 10.31857/S0005231023060041
- Publication type
- Article
- Status
- Published
- Authors
- Volume/ Edition
- Volume / Issue number 6
- Pages
- 67-78
- Abstract
- The paper is devoted to the problem of deriving synchronizing and homing experiments for nondeterministic Input/Output automata; corresponding input sequences are widely used in testing (non-initialized) discrete event systems. In active testing, there is an opportunity to set a system under test into a known initial state; in passive testing, a known current state allows to reduce the number of properties to be checked. In the paper, we note that such experiments for Input/Output automata are different from so-called “gedanken” experiments with classical Finite State Machines; the existence check conditions of such experiments are established for a predefined discipline of applying inputs and a method for its derivation is proposed when such an experiment exists. The obtained results allow to reduce the problem of deriving synchronizing and homing experiments for Input/Output automata to the well developed problem of deriving such experiments for appropriate classes of Finite State Machines.
- Keywords
- конечный входо-выходной полуавтомат установочная последовательность синхронизирующая последовательность
- Date of publication
- 15.06.2023
- Year of publication
- 2023
- Number of purchasers
- 0
- Views
- 24
References
- 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.
