Efficient checking sequences for testing finite state machines

Information and Software Technology

Volumn 41, Issue 11, 1999, Pages 799-812

  Inan, K ^a   Ural, H ^b  

^a SABANCI UNIVERSITY   (Turkey)

^b UNIVERSITY OF OTTAWA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; GRAPH THEORY; IDENTIFICATION (CONTROL SYSTEMS);

CHECKING SEQUENCE; DISTINGUISHING SUITE; MEALY AUTOMATION;

FINITE AUTOMATA;

EID: 0032599431     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(99)00038-5     Document Type: Article

References (26)

1. A. Gill, Introduction to the Theory of Finite-State Machines, McGraw Hill, New York, 1962.
2. G. GönenÇ, A method for the design of fault detection experiments, IEEE Transactions on Computers 19 (1970) 551-558.
3. F.C. Hennie, Fault detecting experiments for sequential circuits, in: Proc. Fifth Ann. Symp. Switching Circuit Theory and Logical Design, 1964, Princeton, NJ, pp. 95-110, 1964.
4. M.P. Vasilevskii, Failure diagnosis of automata, Kibernetika 4 (1973) 98-108.
5. Z. Kohavi, Switching and Finite Automata Theory, McGraw Hill, New York, 1978.
6. W.Y.L. Chan, S.T. Vuong, M.R. Ito, An improved protocol test generation procedure based on UIOs, Proceedings of ACM SIGCOMM 89 (1989) 283-294.
7. T.S. Chow, Testing software design modeled by finite state machines, IEEE Transactions on Software Engineering SE-4 (1978) 179-187.
8. A.T. Dahbura, K.K. Sabnani, M.U. Uyar, Formal methods for generating protocol conformance test sequences, Proceedings of the IEEE 78 (1990) 1317-1325.
9. S. Fujiwara, et al., Test selection based on finite state models, IEEE Transactions on Software Engineering SE-17 (6) (1991) 591-603.
10. A. Rezaki, H. Ural, Construction of checking sequences based on characterization sets, Computer Communications 18 (12) (1995) 911-920.
11. K.K. Sabnani, A.T. Dahbura, A protocol test generation procedure, Computer Networks and ISDN Systems 15 (4) (1988) 285-297.
12. D.P. Sidhu, T.K. Leung, Formal methods for protocol testing: a detailed study, IEEE Transactions on Software Engineering SE-15 (1989) 413-426.
13. H. Ural, X. Wu, F. Zhang, On minimizing the lengths of checking sequences, IEEE Transactions on Computers 46 (1) (1997) 93-99.
14. M. Yannakakis, D. Lee, Testing finite state machines: fault detection, Journal of Computer and System Sciences 50 (1995) 209-227.
15. A.V. Aho, et al., An optimization technique for protocol conformance test sequence generation based on UIO sequences and rural Chinese postman tours, IEEE Transactions on Communication COM-39 (11) (1991) 1604-1615.
16. S.C. Boyd, H. Ural, On the complexity of generating optimal test sequences, IEEE Transactions on Software Engineering SE-17 (1991) 976-978.
17. M.S. Chen, Y. Choi, A. Kershenbaum, Approaches utilizing segment overlap to minimize test sequences, in: Proc. PSTV '90, Ottawa, Canada, 1990, pp. 67-84.
18. R.E. Miller, S. Paul, On the generation of minimum-length conformance tests for communication protocols, IEEE/ACM Transactions on Networking 1 (1) (1993) 116-129.
19. Y.N. Shen, F. Lombardi, A.T. Dahbura, Protocol conformance testing using multiple UIO sequences, IEEE Transactions on Communications COM-40 (1992) 1282-1287.
20. H. Ural, K. Zhu, Optimal length test sequence generation using distinguishing sequences, IEEE/ACM Transactions on Networking 1 (3) (1993) 358-371.
21. B. Yang, H. Ural, Protocol conformance test generation using multiple UIO sequences with overlapping, in: Proc. ACM SIGCOMM '90, Philadelphia, USA, 1990, pp. 118-125.
22. J.A. Bondy, U.S.R. Murty, Graph Theory With Applications, Elsevier, New York, 1976.
23. J. Edmonds, E.L. Johnson, Matching euler tours and the Chinese postman, Mathematical Programming 5 (1973) 88-124.
24. M.K. Kuan, Graphic programming using odd or even points, Chinese Mathematics 1 (1962) 273-277.
25. D. Lee, M. Yannakakis, Testing finite state machines: state identification and verification, IEEE Transactions on Computers 43 (1994) 306-320.
26. H. Çalgm, Implementation of an optimal conformance test sequence generation using distinguishing sequences and modified rural postman tour algorithm, Master's thesis, Middle East Technical University, Ankara, Turkey, 1996.