Efficient computation of unique input/output sequences in finite-state machines

IEEE/ACM Transactions on Networking

Volumn 5, Issue 4, 1997, Pages 585-599

  Naik, Kshirasagar ^a,b  

^a IEEE   (Japan)

^b UNIVERSITY OF AIZU   (Japan)

Author keywords

Communication protocol; Finite state machine; Interference rule; Path vector; Projection; Testing; Uio sequence; Uio tree

Indexed keywords

ALGORITHMS; CONVERGENCE OF NUMERICAL METHODS; INFERENCE ENGINES; NETWORK PROTOCOLS; PERTURBATION TECHNIQUES; SEQUENTIAL MACHINES; THEOREM PROVING; TREES (MATHEMATICS); VECTORS;

DEPTH FIRST ALGORITHM; INFERENCE RULES; PATH VECTORS; UNIQUE INPUT/OUTPUT (UIO) SEQUENCES;

SEQUENTIAL SWITCHING;

EID: 0031210790     PISSN: 10636692     EISSN: None     Source Type: Journal    
DOI: 10.1109/90.649519     Document Type: Article

References (12)

1. J. Hopcroft, "An n log n algorithm for minimizing states in a finite automaton," in Theory of Machines and Computations, Z. Kohavi and A. Paz, Eds. New York: Academic, 1971.
2. A. V. Aho, J. Hopcroft, and J. D. Ullman, The Design and Analysis of Computer Algorithms. Reading, MA: Addison-Wesley, 1974.
3. Z. Kohavi, Switching and Finite Automata Theory, 2nd ed. New York: McGraw-Hill, 1978.
4. K. K. Sabnani and A. T. Dahbura, "A protocol test generation procedure," Comput. Networks and ISDN Syst., vol. 15, no. 4, pp. 285-297, 1988.
5. D. P. Sidhu and T. K. Leung, "Formal methods in protocol testing: A detailed study," IEEE Trans. Software Eng., vol. 15, pp. 413-426, Apr. 1989.
6. W. Y. L. Chan, S. T. Vuong, and M. R. Ito, "An improved protocol test generation procedure based on UIO's," in ACM SIGCOMM Symp. Data Commun., 1989.
7. D. Lee and M. Yannakakis, "Testing finite-state machines," in Proc. 23rd Annu. ACM Symp. Theory of Computing, 1991, pp. 476-485.
8. A. V. Aho, A. T. Dahbura, D. Lee, and M. U. Uyar, "An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese Postman Tours," IEEE Trans. Commun., vol. 39, pp. 1604-1615, Nov. 1991.
9. Y. N. Shen, F. Lombardi, and A. T. Dahbura, "Protocol conformance testing using multiple UIO sequences," IEEE Trans. Commun., vol. 40, pp. 1282-1287, Aug. 1992.
10. R. E. Miller and S. Paul, "On the generation of minimal-length conformance tests for communication protocols," IEEE/ACM Trans. Networking, vol. 1, pp. 116-129, Feb. 1993.
11. H. Ural and K. Zhu, "Optimal length test sequence generation using distinguishing sequences," IEEE/ACM Trans. Networking, vol. 1, pp. 358-371, June 1993.
12. D. Lee and M. Yannakakis, "Testing finite-state machines: State identification and verification," IEEE Trans. Comput., vol. 43, pp. 306-320, Mar. 1994.