Context independent unique state identification sequences for testing communication protocols modelled as extended finite state machines

Computer Communications

Volumn 26, Issue 14, 2003, Pages 1622-1633

  Ramalingom, T ^a   Thulasiraman, K ^b   Das, A ^c  

^a NORTEL NETWORKS   (Canada)

^b University of Oklahoma   (United States)

^c UNIVERSITY OF WESTERN ONTARIO   (Canada)

Author keywords

Communication protocol testing; Extended finite state machine model; Software testing; State identification sequences; Test case generation; Validation; Verification

Indexed keywords

ALGORITHMS; CONTEXT FREE LANGUAGES; FINITE AUTOMATA; NETWORK PROTOCOLS;

FINITE STATE MACHINES;

COMPUTER SCIENCE;

EID: 0037810843     PISSN: 01403664     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0140-3664(03)00116-6     Document Type: Article

References (29)

1. ISO SC21 WG1 P54: Information processing systems - open systems interconnection - formal methods in conformance testing, Working document, June 1993.
2. ISO/IEC 9074: Information processing systems - open systems interconnection - ESTELLE-A formal description technique based on an extended state transition model, 1987.
3. CCITT/SGx/WP3-1, Specification and description language, SDL. CCITT recommendations Z.100, 1988.
4. ISO/IEC 8807: Information processing systems - Open systems interconnection - LOTOS - A formal description technique based on the temporal ordering of observational behavior, June 1988.
5. Chanson S.T., Zhu J. A unified approach to protocol test sequence generation. I Proc. IEEE INFOCOM. 1993;106-114.
6. Chanson S.T., Zhu J. Automatic protocol test suite derivation. Proc. IEEE INFOCOM. 1994;792-799.
7. Luo G., Das A., Bochmann G. Test selection based on SDL specification with save. Proc. Fifth SDL Forum. 1991;313-324.
8. Li X., Higashino T., Higuchi M., Taniguchi K. Automatic generation of extended UIO sequences for communication protocols in an EFSM model, Proceedings of the Seventh International Workshop on Protocol Test Systems, Tokyo, Japan. Proceedings of the Seventh International Workshop on Protocol Test Systems, Tokyo, Japan. November:1994.
9. Ural H., Saleh K., Williams A. Test generation based on control and data dependencies within system specifications in SDL. Comput. Commun. 23:2000;609-627.
10. Ural H., Williams A. Test generation by exposing control and data dependencies, within system specifications in SDL. Proc. FORTE93. October:1993.
11. Ural H., Yang B. A test sequence selection method for protocol testing. IEEE Trans. Commun. 39:(4):1991;514-523.
12. Kohavi Z. Switching and Finite Automata Theory. 1978;McGraw-Hill.
13. Chun W., Amer P.D. Test case generation for protocols specified in Estelle. Quemada J., Manas J., Vazquez E. Formal Description Techniques, III. 1991;191-206 Elsevier Science Publishers B.V, North-Holland.
14. Miller R.E., Paul S. Generating conformance test sequences for combined control and data flow of communications protocols, Proceedings of the 12th International Symposium of Protocol Specification, Testing and Verification. Proceedings of the 12th International Symposium of Protocol Specification, Testing and Verification. 1992.
15. Ramalingam T., Das A., Thulasiraman K. Proceedings, International Workshop on Protocol Test Systems, Evry, France. Proceedings, International Workshop on Protocol Test Systems, Evry, France. 1995;. pp. 289-306.
16. Sarikaya B., Bochmann G. Obtaining normal form speicifications for protocols. Csaba L., Tarnay K., Szentiv'ayni T. Computer Network Usage: Recent Experiences. 1996;Elsevier Science Publishers BV, North Holland.
17. Bochmann G. Specifications of a simplified transport protocol using different formal description techniques. Comput. Networks ISDN Syst. 18:1989/1990;335-377.
18. ISO TC97/SC6 8073: Information processing systems - open systems interconnection - connection oriented transport protocol specification.
19. Sabnani A., Dahbura A. A protocol test generation procedure, Computer Networks and ISDN Systems. Computer Networks and ISDN Systems. June:1993;ACM Press, Cambridge, OSA. pp. 182-192.
20. Turner K.J. Using Formal Description Techniques. 1993;Wiley, Chichester, England.
21. D. Hogrefe, OSI formal specification case study: the inres protocol and service, Revised. Technical Report, Institute for Informatics, University of Berne, May 1992.
22. Chan W.Y.L., Vuong S.T., Ito M.R. An improved protocol test generation procedure based on UIOs. ACM SIGCOMM. 1989;283-294.
23. Rapps S., Weyuker E.J. Selecting software test data using data flow information. IEEE Trans. Soft. Engng. SE-11:(4):1985;367-375.
24. Weyuker E.J. The complexity of data flow criteria for test data selection. Inf. Process. Lett. 19:1984;103-109.
25. Papadimitriou C.H., Steiglitz K. Combinatorial Optimization: Algorithms and Complexity. 1982;Prentice Hall, New Jersey, USA.
26. Parker R.G., Rardin R.L. Discrete Optimization. 1988;Academic Press, San Diego, USA.
27. Chvatal V. Linear Programming. 1983;Freeman and Company, New York, USA.
28. Ramalingam T., Das A., Thulasiraman K. Analysis of fault detection and diagnosis capabilities of test sequence selection methods based on the FSM model. Comput. Commun. 18:(2):1995.
29. Ramalingam T., Das A., Thulasiraman K. On testing and diagnosis of communication protocols based on the FSM model. Comput. Commun. 18:(5):1995;329-337.