Behavior Modeling Technique Based on EFSM for Interoperability Testing

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.

[1]  Tracy Gardner,et al.  UML Modelling of Automated Business Processes with a Mapping to BPEL4WS , 2003 .

[2]  Ivar Jørstad,et al.  A service-oriented architecture framework for mobile services , 2005, Advanced Industrial Conference on Telecommunications/Service Assurance with Partial and Intermittent Resources Conference/E-Learning on Telecommunications Workshop (AICT/SAPIR/ELETE'05).

[3]  Eun Man Choi,et al.  Comparison of Five Black-box Testing Methods for Object-Oriented Software , 2006, Fourth International Conference on Software Engineering Research, Management and Applications (SERA'06).

[4]  Huaikou Miao,et al.  A test class framework for generating test cases from Z specifications , 2000, Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000.

[5]  Alan W. Brown.  An Introduction to Model Driven Architecture - Part 1; MDA and Today's Systems , 2004 .

[6]  Susan Symington,et al.  A COS study of OSI interoperability , 1990 .

[7]  Remco M. Dijkman,et al.  Deriving use case diagrams from business process models , 2002 .

[8]  Jerzy W. Rozenblit,et al.  Automatic test case generation from requirements specifications for real-time embedded systems , 1999, IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028).

[9]  Sungwon Kang,et al.  Relating interoperability testing with conformance testing , 1998, IEEE GLOBECOM 1998 (Cat. NO. 98CH36250).

[10]  Ali Arsanjani,et al.  Service-Oriented Modeling and Architecture for Realization of an SOA , 2006, 2006 IEEE International Conference on Services Computing (SCC'06).

[11]  Tiziana Margaria,et al.  Service Engineering: Linking Business and IT , 2006, Computer.

[12]  Hans-Gerhard Groß,et al.  Component-based software testing with UML , 2004 .

[13]  Stephen J. Mellor,et al.  MDA Distilled Principles Of Model-Driven Architecture , 2004 .

[14]  David Lee,et al.  Interoperability testing of VoIP systems , 2000, Globecom '00 - IEEE. Global Telecommunications Conference. Conference Record (Cat. No.00CH37137).

[15]  Miao Huai-kou,et al.  A test class framework for generating test cases from Z specifications , 2000 .

[16]  M.P. Alarcon,et al.  Using MDA to develop Component and Aspect Based Applications , 2005, IEEE Latin America Transactions.

[17]  R. Glaschick,et al.  Service oriented interface design for embedded devices , 2005, 2005 IEEE Conference on Emerging Technologies and Factory Automation.

[18]  David Chenho Kung,et al.  Software requirements and acceptance testing , 1997, Ann. Softw. Eng..

[19]  Jerzy W. Rozenblit,et al.  Test scenario generation from a structured requirements specification , 1999, Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems.