Abstract
A lot of researches have been made for an effective and efficient test case generation method. However, theoretical researchers and practical researchers follow the different goals and methods each other especially in the test case generation of real protocols. In this paper, we proposed a new framework and methodology for automatic test case generation of real protocols. They bridge between the theoretical and practical researches and try to bring together the best of theory and practice in test case generation. They can cope with the change of test environment and technical state. The key idea is the distributed analysis technique. We used both simulation and model analysis according to the context dependency of the sequence. We defined test coverage selection criteria of a protocol in an EFSM(Extended Finite State Machine) model and in an EEFSM(Expanded EFSM) model. We used three techniques to reduce the complexity of simulation: the depth first search with termination conditions, the partial supplementation technique and the partitioning technique. To show the efficacy of the proposed framework and methodology, we apply them to a real communication protocol, SSCOP(Service Specific Connection Oriented Protocol) for B-ISDN protocol.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-0-387-35394-4_29
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Weyuker, E. J. and Rapps, S. (1985). Selecting software test data using data flow information. IEEE trans. on Software Engineering., SE-11(4), 367–375.
Aho, A. V., Dahbura, A. T., Lee, David and Uyar, M. U. (1988). An optimization technique for protocol conformance test generation based on UIO sequences and Rural Chinese Postman Tours. Protocol Specification, Testing and Verification ‘88., Atlantic City, USA, 75–86.
Lee, Do-young and Lee, Jai-yong (1991). A well-defined Estelle specification for the automatic test generation. IEEE trans. on Computer., COM-40(4), 526–542.
Ural, H. and Yang, B. (1991). A test sequence selection method for protocol testing. IEEE trans. on Communications., COMM-39(4), 514–523.
Chanson, S. T. and Zhu, Jinsong (1993). A unified approach to protocol test sequence generation. IEEE INFOCOM ‘83., San Francisco, USA, 106–114.
Li, Xiangdong, Higashino, T., Higuchi, M. and Taniguchi, K. (1994). Automatic generation of extended UIO sequences for communication protocols in an EFSM model. Int. Workshop on Protocol Test Systems ‘84., Tokyo, Japan, 213–228.
Anido, R. and Cavalli, A. (1995). Guaranteeing full fault coverage for the UIObased testing methods. Int. Workshop on Protocol Test Systems ‘85., Evry, France, 221–236.
Henniger, O., Ulrich, A. and König, H. (1995). Transformation of Estelle modules aiming at test case generation. Protocol Test Systems 95., Evry, France, 45–60.
Kim, Tae-hyong (1995). Automatic generation of observation-based and length-optimized test cases for EFSM model in conformance testing. M.S. thesis., Dept. of Electronic Eng., Yonsei University.
Park, J. H., Hong, J. P. and Lee, J. Y. (1995). A conformance testing framework for applying test purposes. Protocol Test Systems 95., Chapman and Hall, 1995.
Phalippou, M., Guerrieri, S. and Stokar, D. (1995). INTOOL CATG - D2: User requirements. Document INTOOL CATG EC 4., Rev 5.
Ramalingom, T., Das, A. and Thulasiraman K. (1995). A unified test case generation method for the EFSM model using context independent unique sequences. Protocol Test Systems 95., Evry, France, 289–305.
The ATM Forum Technical Committee (1996). Conformance Abstract Test Suite for the SSCOP for UNI 3.1. af-test-0067.000., Sep. 1996.
Doldi, L., Encontre, V., Fernandez, J., Jeron, T., Bricquir, S., Texier, N. and Phalippou, M. (1996). Assessment of automatic generation methods of con-formance test suites in an industrial context. Testing of Communicating Systems 96., Chapman and Hall, 347–361.
Lai, R. (1996). How could research on testing of communicating systems become more industrially relevant?. Testing of Communicating Systems 96., Chapman and Hall, 3–13.
Bourhfir, C., Dssouli, R., Aboulhamid, E. and Rico, N. (1997). Automatic executable test case genration for extended finite state machine protocols. Testing of Communicating Systems 97., Chapman and Hall, 75–90.
Chin, B. M., Kim, T. H., Jang, M. S., Hwang, I. S., Lee, J. Y. and Lee, S. B. (1997). Generation of Reliable and Optimized Test Cases for Data Flow Test with a Formal Approach. ICOIN-11., Taipei, Taiwan.
Grabowsky, J., Scheurer, R., Dai, Z. R. and Hogrefe, D. (1997). Applying SAMSTAG to the B-ISDN protocol SSCOP. Testing of Communicating Systems 97., Chapman and Hall, 397–415.
Rayner, D. (1997). Future directions for protocol testing, learning the lessons from the pass. Testing of Communicating Systems 97., Chapman and Hall, 3–17.
Kim, T. H., Hwang, I. S., Jang, M. S., Kang, S. W., Lee, J. Y. and Lee, S. B. (1998). Test Case Generation of a Protocol by a Fault Coverage Analysis. ICOIN-12., Tokyo, Japan.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Kim, Th., Hwang, Is., Park, Cm., Lee, Jy., Lee, Sb. (1998). Automatic Test Case Generation of Real Protocols: Framework and Methodology. In: Budkowski, S., Cavalli, A., Najm, E. (eds) Formal Description Techniques and Protocol Specification, Testing and Verification. PSTV FORTE 1998 1998. IFIP — The International Federation for Information Processing, vol 6. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35394-4_8
Download citation
DOI: https://doi.org/10.1007/978-0-387-35394-4_8
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5262-5
Online ISBN: 978-0-387-35394-4
eBook Packages: Springer Book Archive