Abstract
The necessity that test sequences are automatically generated from a protocol specification for the purpose of testing data flow in the implementation has been emphasized because the cost of the most existing data part testing strategies is prohibitively high. However, existing automatic test generation methods based on single-module structure are not applicable to real protocol having multi-module one. In this paper, we propose a method which transforms multi-module model into an equivalent single-module. Since the proposed method uses the reachability analysis technique, it can minimize semantic loss of the specification during the transformation process.
Chapter PDF
Similar content being viewed by others
References
Chanson, S.T. and Zhu, J. (1993) A Unified Approach to Protocol Test Sequence Generation. In Proceedings of the IEEE INFOCOM, San Francisco, nia, 106–114.
Chin, B., Kim, T., Hwang, I., Jang, M., Lee, J., and Lee, S. (1997) Generation of Reliable and Optimized Test Cases for Data Flow Test with a Formal Approach. In Proceedings of the 11th International Conference on Information Networking,Taipai, Taiwan.
Chun, W. (1991) Test Case Generation for Protocols Specified in Estelle. Ph.D. thesis, Dept. Computer and Information Sciences, University of Delaware.
Clarke, L.A. and Richardson, D.J. (1985) Application of Symbolic Evaluation. the Journal of Systems and Software, 5, 15–35.
Dembinski, P. and Budcowski, S. (1989) Specification Language ESTELLE in The Formal Description Technique Estelle (eds. M. Diaz et al.), Results of the ESPRIT/SEDOS Project, North Holland.
Guerrouat, A. and König, H. (1996) Automation of test case derivation in respect to test purposes. In Proceedings of the 9th International Workshop on Testing of Communicating Systems, Darmstadt, Germany, 207–222.
Hwang, I. (1997) A method to derive a simple single-EFSM from communicating multi-EFSM for data part testing. M.S. thesis,Dept. Electronic Engineering, Yonsei University. URL:http://nasla.yonsei.ac.kr/“ his/Publications/Th_annex.ps
ISO (1989a), Information Processing Systems — Open Systems Interconnection - Estelle: A Formal Description Technique based on an Extended State Transition Model. ISO AEC IS 9074.
ISO (1989b), Information Processing Systems - Open Systems Interconnection - LOTOS: A Formal Description Technique based on the Temporal Ordering of Observational Behaviour. ISO/IEC IS 8807.
ISO (1995), ISO/IEC JTC1/SC21 WG7, ITU-T SG10/Q.8 Formal Methods in Conformance Testing Part, working draft. ISO Project 1.21.54, ITU-T Z. 500. ISO, ITU-T, September, 1995. Output from ISO/ITU-T Meeting in Geneve.
ITU-T (1993) ITU-T Z.100 CCITT Specification and Description Language. ITU Recommendation.
Kim, T. (1995) Automatic generation of observation-based and length-optimized test cases for EFSM model in conformance testing. M.S. thesis, Dept. Electronic Engineering, Yonsei University.
Lee, D.Y. and Lee, J.Y. (1991) A well defined Estelle specification for the automatic test generation. IEEE Trans. on Computer, COM-40(4), 526–542.
Li, X., Higashino, T., Higuchi, M. and Taniguchi, K. (1994) Automatic generation of extended UIO sequences for communication protocols in an EFSM model. In Proceedings of 7th International Workshop on Protocol Test Systems, Tokyo, Japan, 225–240.
Linn Jr., R.J. (1990) Conformance Testing for OSI Protocols. Computer Network and ISDN Systems, 18, 203–219.
Miller, R.E. and Paul, S. (1992) Generating Conformance Test Sequences for Combined Control and Data Flow of Communication Protocols. In Proceedings of 12th International Symposium on Protocol Specification, Testing and Verification, 1–15.
Park, J.H., Lee, J.Y., Jung, I.Y., and Hong, J.P. (1994) A Conformance Testing Framework for Applying Test Purposes. In Proceedings of 7th International Workshop on Protocol Test Systems, Tokyo, Japan, 291–298.
Ramalingom, T., Thulasiraman, K. and Das, A. (1996) Context Independent Unique Sequences Gerneration for Protocol Testing. In Proceedings of the IEEE INFOCOM, San Francisco, California, 1141–1148.
Sarikaya, B. and Bochmann, G.v. (1986) Obtaining Normal Form Specification for
Protocols. Computer Network Usage (eds. L. Csaba et al.),601–612. Sarikaya, B. Bochmann, G.v. and Cerny, E. (1987) A Test Design Methodology for Protocol Testing. IEEE Trans. on Software Engineering,SE-13 518–531.
Ural, H. and Yang, B. (1991) A Test Sequence Selection Method for Protocol Testing. IEEE Trans. on Communication, COM-39, 514–523.
West, C. H. (1978) An automated technique of communications Protocol Validation. IEEE Trans. on Communication, COM-26, 1271–1275.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Hwang, I. et al. (1997). A method to derive a single-EFSM from communicating multi-EFSM for data part testing. In: Kim, M., Kang, S., Hong, K. (eds) Testing of Communicating Systems. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35198-8_7
Download citation
DOI: https://doi.org/10.1007/978-0-387-35198-8_7
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6701-8
Online ISBN: 978-0-387-35198-8
eBook Packages: Springer Book Archive