Test sequence generation from the protocol data portion based on the selecting Chinese postman algorithm

Information Processing Letters

Volumn 65, Issue 5, 1998, Pages 261-268

  Chen, Wen Huei ^a  

^a MING CHUAN UNIVERSITY   (Taiwan)

Author keywords

Conformance testing; Data portion; Protocols; Test sequence

Indexed keywords

EID: 0042528053     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0020-0190(97)00208-1     Document Type: Article

References (10)

1. A.V. Aho, A.T. Dahbura, D. Lee, M.U. Uyar, An optimization technique for protocol conformance test generation based on UIO sequences and Rural Chinese Postman tours, in: Proc. IFIP Internat. Symp. on Protocol Specification, Testing and Verification, 1988.
2. W.H. Chen, H. Ural, Synchronizable test sequence based on multiple UIO sequence, IEEE/ACM Trans. Networking 3 (2) (1995).
3. K.T. Cheng, A.S. Krishnakumer, Automatic functional test generation using the extended finite state machine model, in: Proc. IEEE Design Automation Conf., 1993.
4. M.R. Garey, D.S. Johnson, Computers and Intractability: A Guide to the Theory of NP-completeness, Freeman, San Francisco, CA, 1979.
5. E. Kwast, Toward automatic test generation for protocol data aspects, in: Proc. IFIP Internat. Symp. on Protocol Specification, Testing and Verification, 1992.
6. E. Kwast, Automatic test generation for protocol data aspects, in: Proc. IFIP Internat. Symp. on Protocol Specification, Testing and Verification, 1992.
7. J.A. Mchugh, Algorithmic Graph Theory, Prentice-Hall, Englewood Cliffs, NJ, 1990.
8. B. Sarikaya, G. v. Bochmann, E. Cerny, A test design methodology for protocol testing, IEEE Trans. Software Engineering 13 (1987) 518-531.
9. L. Schrage, LINDO 5.0 User's Manual, Scientific Press, 1991.
10. D. Sidhu, T-K. Leung, Formal methods for protocol testing: A detailed study, IEEE Trans. Software Engineering 15 (4) (1989).