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.
REFERENCES
Gill, A., Vvedenie v teoriyu konechnykh avtomatov (Introduction to the Theory of Finite-State Machines), Moscow: Nauka, 1966.
Evtushenko, N.V. and Kushik, N.G., Nekotorye zadachi identifikatsii sostoyanii dlya nedeterminirovannykh avtomatov (Some Problems of Identifying the States of Non-Deterministic Finite State Machines), Tomsk: STT Publishing, 2018.
Burdonov, I., Yevtushenko, N., Kossatchev, A., Separating Input/Output Automata with Nondeterministic Behavior, Rus. Diginal Librar. J., 2020, vol. 23, no. 4, pp. 634–655.
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, pp. 95–110.
Kushik, N., López, J., Cavalli, A., and 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, pp. 315–322.
Kushik, N., Yevtushenko, N., Burdonov, I., and Kossachev, A., Synchronizing and Homing Experiments for Input/Output Automata, Syst. Inform., 2017, no. 10, pp. 1–10.
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, pp. 5–33.
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, September 28–30, 1993, pp. 257–276.
Funding
ISPRAS work is partly supported by the Russian Scientific Foundation, project no. 22-029-01189.
Author information
Authors and Affiliations
Corresponding authors
Additional information
This paper was recommended for publication by M.F. Karavaev, a member of the Editorial Board
Rights and permissions
About this article
Cite this article
Burdonov, I.B., Evtushenko, N.V., Kossachev, A.S. et al. On Preset Homing and Synchronizing Sequences for Observable Input/Output Automata. Autom Remote Control 84, 606–611 (2023). https://doi.org/10.1134/S0005117923060048
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0005117923060048