Protocol conformance test generation using multiple uio sequences with overlapping

Proceedings of the ACM Symposium on Communications Architectures and Protocols, SIGCOMM 1990

Volumn , Issue , 1990, Pages 118-125

  Yang, Bo ^a   Ural, Hasan ^a  

^a UNIVERSITY OF OTTAWA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

INTERNET PROTOCOLS;

OPTIMIZATION METHOD; PROTOCOL CONFORMANCE TEST; TEST SEQUENCE;

NETWORK ARCHITECTURE;

EID: 85025285224     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/99508.99543     Document Type: Conference Paper

References (22)

1. G. V. Bochmann and C. A. Sunshine, A survey of formal methods, in: P. E. Green, ed., Computer Networks and Protocols, New York: Plenum Press, 1983. pp. 561-578.
2. F. C. Hennie, Fault-detecting experiments for sequential circuits, Proc. 5th Annual Symp. on Switching Circuit Theory and Logical Design, Nov. 1964. pp. 95-110.
3. G. Gonenc, A method for the design of fault detection experiments, IEEE Trans, on Computers, vol. 19, no. 6, June 1970. pp. 551-558.
4. Z. Kohavi, Switching and finite automata theory, New York: McGraw-Hill, 1978.
5. S. Naito and M. Tsunoyama, "Fault detection for sequential machines by transition tours", Proc. 11th IEEE F.T.C. Symp., 1981. pp. 238-243.
6. M. U. Uyar and A. T. Dahbura, Optimal test sequence generation for protocols: The Chinese postman algorithm applied to Q.931, Proc. IEEE Global Telecomm. Conf., 1986. pp. 68-72.
7. T. Chow, Testing software design modeled by finite- state machines, IEEE Trans, on Software Eng., vol. 4, no. 3, 1978. pp. 178-187.
8. K. K. Sabnani and A. T. Dahbura, A new technique for generating protocol tests, Proc. 9th Data Comm. Symp., Sept. 1985. pp. 36-43.
9. K. K. Sabnani and A. T. Dahbura, A protocol test generation procedure, Computer Networks and ISDN Systems, vol. 15, no. 4, 1988. pp. 285-297.
10. 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, Proc. 8th IFIP Symp. on Protocol Spec., Test, and Ver., Atlantic City, June 1988.
11. Y. N. Shen, F. Lombardi, and A. T. Dahbura, Protocol conformance testing using multiple UIO sequences, Proc. 9th IFIP Symp. on Protocol Spec., Test, and Ver., Twente, Holland, June 1989.
12. D. P. Sidhu and T. K. Leung, Formal methods for protocol testing: a detailed study, IEEE Trans, on Software Eng., vol. 15, no. 4, 1989. pp. 413-426.
13. B. Sarikaya, G. V. Bochmann, and E. Cerny, A test design methodology for protocol testing, IEEE Trans, on Software Eng., May 1987.
14. H. Ural, Test sequence selection based on static data flow analysis, Computer Communications, vol. 10, no. 5, 1987. pp. 234-242.
15. H. Ural and Bo Yang, "A test sequence selection method for protocols testing", Accepted for publication. To appear in: IEEE Trans on Communications.
16. H. Ural and Bo Yang, "A structural test selection criterion", Info. Proc. Letters, vol. 28, no. 3, July 1988. pp. 157-163.
17. B. Wang and D. Hutchinson, "Protocol testing techniques", Computer Communications, vol. 10, no. 2, Apr. 1987. pp.79-87.
18. M. K. Kuan, "Graphic programming using odd or even points", Chinese Math., vol. 1, 1962. pp. 273277.
19. J. Edmonds and E. L Johnson, "Matching, Euler tours and the Chinese postman", Mathematical Programming, vol. 5. 1973. pp. 88-124.
20. J. Edmonds and R. M. Karp, "Theoretical improvements in algorithmic efficiency for network flow problems", JACM, vol. 19, no. 2, 1972. pp. 248-264.
21. B. Yang and H. Ural, "On FSM-based optimum test sequence generation", To appear in: Proc. 2nd Int'l Conf. on Comm. Systems (ICCS'90), Nov. 1990.
22. S. Boyd and H. Ural, On the complexity of optimal test sequence generation, Tech. Rep. TR-90-15, Comp. Sc. Dept., Univ. of Ottawa, Ottawa, Canada.