Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs

Natalia Kushik, Nina Yevtushenko, Husnu Yenigun

Abstract

In this paper, we address the problem of setting a discrete system specified as a Finite State Machine (FSM) to a known initial state. As the system behavior can be nondeterministic, we discuss the complexity of problems related to deriving synchronizing sequences for nondeterministic FSMs and propose a way for decreasing such complexity. In fact, we suggest to use adaptive synchronizing sequences instead of preset ones, and prove that for non-initialized nondeterministic FSMs the problem of checking the existence of an adaptive synchronizing sequence is in P.

References

  1. Cern'y, H., 1964. Pozn'amka k homog'ennym eksperimentom s konecn'ymi avtomatami. Mat.-Fyz. Cas. Slovensk. Akad. Vied (14), pp. 208-216 (in Slovak).
  2. Chow, T.S., 1978. Testing software Design Modelled by Finite State Machines. IEEE Trans. Software Eng., vol. 4, pp. 178-187.
  3. Gill, A., 1961. State-identification experiments in finite automata. Information and Control, pp. 132-154.
  4. Hibbard, T. N., 1961. Least upper bounds on minimal terminal state experiments of two classes of sequential machines. Journal of the ACM, 8(4), pp. 601-612.
  5. Hierons, R. M., 1998. Adaptive testing of a deterministic implementation against a nondeterministic finite state machine. The Computer Journal, 41(5), pp. 349-355.
  6. Ito, M., Shikishima-Tsuji, K., 2004. Some results on directable automata. Lecture Notes in Computer Science, vol. 3113, pp. 125-133.
  7. Klyachko, A. A., Rystsov, I. K., Spivak, M. A., 1987. In extremal combinatorial problem associated with the bound on the length of a synchronizing word in an automaton. Cybernetics 23, pp. 165-171.
  8. Kushik, N., El-Fakih, K., Yevtushenko, N., Cavalli, A., 2014. On adaptive experiments for nondeterministic finite state machines. International Journal on Software Tools for Technology Transfer (in press).
  9. Kushik, N., Yenigun, H., 2015. Heuristics for Deriving Adaptive Homing and Distinguishing Sequences for Nondeterministic Finite State Machines. In Proc. of the International Conference on Testing Software and Systems, pp. 243-248.
  10. Kushik, N., Yevtushenko, N., 2012. Deriving adaptive synchronizing experiments for nondeterministic FSMs. Russian Physics Journal, T. 55, ? 9/2 pp. 315- 316.
  11. Kushik, N., Yevtushenko, N., 2013. On the length of homing sequences for nondeterministic finite state machines. In Proc. of the 18th International Conference on Implementation and Application of Automata, pp. 220-231.
  12. Kushik, N., Yevtushenko, N., 2015. Adaptive Homing is in P. In Proc. of MBT'2015, pp. 73-78.
  13. Petrenko, A., Yevtushenko, N., 2005. Conformance tests as checking experiments for partial nondeterministic FSM, In Proc. of the FATES'2005, pp. 118-133.
  14. Petrenko, A., Yevtushenko, N., 2011. Adaptive testing of deterministic implementations specified by nondeterministic FSMs. In Proc. of the International Conference on Testing Software and Systems, Lecture Notes in Computer Science 7019, pp. 162-178.
  15. Petrenko, A., Yevtushenko, N., Bochmann, G. v., 1996. Testing Deterministic Implementations from their Nondeterministic Specifications. In Proc. of the IFIP Ninth International Workshop on Testing of Communicating Systems, pp. 125-140.
Download


Paper Citation


in Harvard Style

Kushik N., Kushik N., Yevtushenko N., Yevtushenko N., Yenigun H. and Yenigun H. (2016). Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs . In Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn - Volume 1: AMARETTO, (MODELSWARD 2016) ISBN 978-989-758-166-3, pages 83-90. DOI: 10.5220/0005854500830090


in Bibtex Style

@conference{amaretto16,
author={Natalia Kushik and Natalia Kushik and Nina Yevtushenko and Nina Yevtushenko and Husnu Yenigun and Husnu Yenigun},
title={Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs},
booktitle={Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn - Volume 1: AMARETTO, (MODELSWARD 2016)},
year={2016},
pages={83-90},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005854500830090},
isbn={978-989-758-166-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn - Volume 1: AMARETTO, (MODELSWARD 2016)
TI - Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs
SN - 978-989-758-166-3
AU - Kushik N.
AU - Kushik N.
AU - Yevtushenko N.
AU - Yevtushenko N.
AU - Yenigun H.
AU - Yenigun H.
PY - 2016
SP - 83
EP - 90
DO - 10.5220/0005854500830090