An improved RCP-method for protocol test generation using backward UIO sequences

Proceedings of the 1991 Symposium on Applied Computing, SOAC 1991

Volumn , Issue , 1991, Pages 284-293

  Shen, Xiaojun ^a   Scoggins, Sophia ^a   Tang, Adrian ^a  

^a UNIVERSITY OF MISSOURI KANSAS CITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING;

OUTPUT SEQUENCES; PROTOCOL TEST; PROTOCOL TESTING;

COMPUTER SCIENCE;

EID: 3743088425     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SOAC.1991.143890     Document Type: Conference Paper

References (18)

1. M. U. Uyar and A. Dahbura, "Optimal Test Sequence Generation for Protocols: The Chinese Postman Algorithm Applied to Q.931, " Proceedings of Globecom, 1986, pp. 68-72.
2. K. Sabnani and A. Dahbura, "A Protocol Test Generation Procedure, " Computer Networks and ISDN Systems, vol. 15, no. 4, pp. 285-297, 1988.
3. D. Sidhu and T.-k. Leung, "Fault coverage of Protocol Test Methods, " Proceedings of INFOCOM 88, IEEE, Mar., 1988, pp. 80-85.
4. W. Y. L. Chan, S. T. Vuong and M. R. Ito, "An Improved Protocol Test Generation Procedure Based on UIOs, " Computer Communication Review, Vol. 19, No. 4, pp. 283-292, September 1989, ACM press, "Comm. Arch. & Protocols".
5. A. Dahbura and K. Sabnani, "An Experience in Estimating Fault Coverage of A Protocol Test, " Proceedings of INFOCOM '88, IEEE, Mar. 1988, pp. 71-79.
6. 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, " Proceedings of the 8th Symposium on Protocol Specification, Testing, and Verification, IFIP, June 1988, pp. 75-86.
7. X. Shen, S. Scoggins and A. Tang, "A New Protocol Test Generation Method Using Circular UIO Sequences, " in preparation.
8. T. S. Chow, "Testing Software Design Modeled by Finite State Machines, " IEEE Trans, on Software Engineering, Vol. SE-4, No. 3, pp. 178-187, May, 1978.
9. N. F. Maxemchuk and K. Sabnani, "Probabilistic Verification of Communication Protocols, " Proceedings of the 7th symposium on Protocol Specification, Testing, and Verification, IFIP, 1987, pp. 307-320.
10. D. P. Sidhu, C.-S. Chang, "Probabilistic Testing of Protocols, " Computer Communication Review, Vol. 19, No. 4, pp. 295-302, September 1989, ACM press, "Comm. Arch. & protocols".
11. R. J. Linn, Jr, "Conformance Evaluation Methodology and Protocol Testing, " to appear in IEEE J.on Selected Areas in Communications.
12. S. Naito and M. Tsunoyama, "Fault Detection for Sequential Machines by Transition - Tours, " Proceedings of the 11th IEEE Fault Tolerant Computing Conference, IEEE, 1981, pp. 238-243.
13. A. Chung and D. Sidhu, "Fault Coverage of Probabilistic Test Sequences, " Proceedings of the Third International workshop on Protocol Test Systems, " Mclean, VA, 1990.
14. D. Sidhu and T.-k. Leung, "Formal Methods for Protocol Testing: A detailed Study, " TR #86-23, Iowa State University Research Report, December 1986.
15. Z. Kohavi, Switching and Finite Automata Theory, McGraw Hill, New York, 1978.
16. B. Yang, H. Ural, "Protocol Conformance Test Generation Using Multiple UIO Sequences with Overlapping, " Proceedings of SIGCOMM'90, Philadelphia, PA, September 1990, pp. 118-125.
17. Y. N. Shen, F. Lombardi and A. T. Dahbura, "Protocol Conformance Testing Using Multiple UIO sequences, " Proceedings of the 9th Symposium on Protocol Specification, Testing and verification, IFIP, 1989.
18. R. E. Miller and S. Paul, "Two Techniques for Generating Test Sequences for Communication Protocols, " Proceedings of the Third International workshop on Protocol Test Systems, " Mclean, VA, 1990.