Fully automated interoperability test suite derivation for communication protocols

Authors:
Soonuk Seol;Myungchul Kim;Sungwon Kang;Jiwon Ryu
Affiliations:
Information and Communications University, Network Architecture Lab, P.O. Box 77, Daejeon 305-600, South Korea;Information and Communications University, Network Architecture Lab, P.O. Box 77, Daejeon 305-600, South Korea;Information and Communications University, Network Architecture Lab, P.O. Box 77, Daejeon 305-600, South Korea;Telecommunications Technology Association, South Korea
Venue:
Computer Networks: The International Journal of Computer and Telecommunications Networking
Year:
2003

Citing 12
Cited 7

UNIX network programming

UNIX network programming
TCP/IP illustrated (vol. 2): the implementation

TCP/IP illustrated (vol. 2): the implementation
The AETG System: An Approach to Testing Based on Combinatorial Design

IEEE Transactions on Software Engineering
Interoperability test suite derivation for communication protocols

Computer Networks: The International Journal of Computer and Telecommunications Networking
Interoperability Test Suite Derivation for Symmetric Communication Protocols

FORTE X / PSTV XVII '97 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII)
A Test Case Generation Method for Concurrent Programs

Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems IV
Interoperability Test Suite Derivation for the ATM/B-ISDN Signaling Protocol

IWTCS Proceedings of the IFIP TC6 11th International Workshop on Testing Communicating Systems
Interoperability Test Suite Generation for the TCP Data Part Using Experimental Design Techniques

TestCom '00 Proceedings of the IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems: Tools and Techniques
Interoperability Test Generation for Communication Protocols based on Multiple Stimuli Principle

TestCom '02 Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV
Integrated System Interoperability Testing with Applications to VOIP

FORTE/PSTV 2000 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX)
Autolink: A Tool for Automatic Test Generation from SDL Specifications

WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
A practical strategy for testing pair-wise coverage of network interfaces

ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering

Modelling and test generation using SAL for interoperability testing in consumer electronics

Proceedings of the second workshop on Automated formal methods
A generic formal framework for protocol interoperability test and test cases minimization

Proceedings of the 3rd international workshop on Automation of software test
Automatic interoperability test case generation based on formal definitions

FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
Using TIMEDTTCN-3 in interoperability testing for real-time communication systems

TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Testing communicating systems: a model, a methodology, and a tool

TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Formalizing interoperability testing: quiescence management and test generation

FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
A new method for interoperability test generation

TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose an automatic test derivation method for testing interoperability of communication protocols. It first derives a skeleton test suite for control part through a sort of reachability analysis. Next, it parameterizes each test case. Finally, it completes the test suite by actualizing test cases by assigning values to their parameters. By constructing test case space based on stable states and by basing test case actualization step on orthogonal arrays used in experimental design techniques, state space explosion is avoided. In order to demonstrate the feasibility and effectiveness, out method is applied to the ATM/B-ISDN signaling protocol and TCP. The application results show that our method surpasses the conventional methods in terms of both test size and coverage.