Deriving Synchronizing and Homing Sequences for Input/Output Automata
- 16 Downloads
The paper considers the problems of checking the existence and synthesis of synchronizing and homing sequences for finite input/output automata. The relevant sequences can be used when identifying the state of the system under consideration after applying the proper input sequence. In the model considered in the study, the actions are divided into inputs and outputs, however, there are no explicitly specified sets of initial and final states. The article defines the concepts of synchronizing and homing sequences and suggests methods for their synthesis for a special class of input/output automata, which have transitions in each state on either input or output actions; in addition, there are no cycles marked with output symbols in the corresponding transition graph. The necessary and sufficient conditions of existence of synchronizing and homing sequences are established, and the length of such sequences is estimated for the described class of input/output automata. The subclasses of automata are specified, for which the worst (mainly, exponential) complexity cases are not reachable.
Keywords:input/output automata synchronizing sequence homing sequence
The work was partially supported by the Russian Science Foundation (RSF), project No. 16-49-03012 and by the Russian Foundation for Basic Research, project No.17-07-00682.
- 4.Hierons, R.M., Jourdan, G.V., Ural, H., and Yenigün, H., Using adaptive distinguishing sequences in checking sequence constructions, Proc. of the 2008 ACM symposium on Applied computing (SAC), 2008, pp. 682–687.Google Scholar
- 5.Ito, M. and Shikishima-Tsuji, K., Some results on directable automata, in Theory Is Forever: Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday, Berlin, Heidelberg: Springer; Lect. Notes Comput. Sci., 2004, vol. 3113, pp. 125–133.Google Scholar
- 8.Kushik, N., López, J., Cavalli, A.R., and Yevtushenko, N., Improving protocol passive testing through ‘gedanken’ experiments with finite state machines, Proc. 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS), 2016, pp. 315–322.Google Scholar
- 12.Moore, E.F., Gedanken-experiments on sequential machines, in Automata Studies (Annals of Mathematical Studies), Princeton University Press, 1956, pp. 129–153.Google Scholar
- 13.Sandberg, S., Homing and synchronizing sequences, in Model-Based Testing of Reactive Systems; Lect. Notes Comput. Sci., 2005, vol. 3472, pp. 5–33.Google Scholar
- 14.Tretmans, J., Test generation with inputs, outputs and repetitive quiescence, Software—Concepts Tools, 1996, vol. 17, no. 3, pp. 103–120.Google Scholar
- 16.Kushik, N.G., Yevtushenko, N.V., Burdonov, I.B., and Kossatchev, A., S, Synchronizing and homing experiments for input/output automata, Syst. Inf., 2017, no. 10, pp. 1–9.Google Scholar