Abstract
With the rapid growth of network technology, two or more products from different vendors are integrated and interact with each other to perform a certain function in the latest systems. However, there are cases where products from different vendors or even from the same vendor often do not interoperate properly. Thus, interoperability testing is considered as an essential aspect for correctness of integrated systems. Interoperability testing tests the ability of software and hardware on different machines from different vendors to share data. Existing researches about interoperability testing are usually focused on an optimal test scenario generation applying graph and automata theory. Most of these researches model communication system behavior using EFSM(Extended Finite State Machines) and use EFSM as an input of test scenario generation algorithm. There are many studies on systematic and optimal test cast generation algorithms using EFSM, but in these researches, the study for generating EFSM model, which is a foundation of test scenario generation, is not sufficient. This paper proposes an EFSM generation technique, which is a foundation of test scenario generation for more complete interoperability testing based on use case specification. The generated EFSM through the proposed technique in this paper can be used as an input of EFSM-based test scenario generation algorithm proposed in other studies.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Gadre, J., Rohre, C., Summers, C., Symington, S.: A COS study of OSI interoperability. Computer Standards and Interface 9(3), 217–237 (1990)
Vermeer, G.S., Blik, H.: Interoperability testing: Basis for the acceptance of communicating systems, VI(C-19). Elsevier Science Publisher B.V., Amsterdam (1994)
Hsia, P., Kung, D.: software requirements and acceptance testing. Annals of Software Engineering 3, 291–317 (1997)
Kang, S.: Relating interoperability testing with conformance testing. In: Global Telecommunications Conference, vol. 6, pp. 3768–3773 (1998)
Griffeth, N., Hao, R., Lee, D., Sinha, R.K.: Interoperability testing of VoIP systems. In: Global Telecommunications Conference, vol. 3, pp. 1565–1570 (2000)
Huaikou, M., Ling, L.: A test class framework for generating test cases from Z specifications. Engineering of Complex Computer Systems, 164–171 (2000)
Cunning, S.J., Rozenblit, J.W.: Automatic test case generation from requirements specifications for real-time embedded systems. In: IEEE SMC 1999 Conference Proceedings, vol. 5, pp. 784–789 (1999)
Cunning, S.J., Rozenbiit, J.W.: Test scenario generation from a structured requirements specification. Engineering of Computer-Based Systems, 166–172 (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Noh, HM., Lee, JH., Yoo, CJ., Chang, OB. (2005). Behavior Modeling Technique Based on EFSM for Interoperability Testing. In: Gervasi, O., et al. Computational Science and Its Applications – ICCSA 2005. ICCSA 2005. Lecture Notes in Computer Science, vol 3482. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11424857_95
Download citation
DOI: https://doi.org/10.1007/11424857_95
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25862-9
Online ISBN: 978-3-540-32045-6
eBook Packages: Computer ScienceComputer Science (R0)