A COS study of OSI interoperability
Computer Standards & Interfaces
Design and validation of computer protocols
Design and validation of computer protocols
Interoperability test suite derivation for communication protocols
Computer Networks: The International Journal of Computer and Telecommunications Networking
Distributed Algorithms
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
IEEE Transactions on Software Engineering
The first ten years, the next ten years
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
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)
Towards a Formal Framework for Interoperability Testing
FORTE '01 Proceedings of the IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems
A Test Case Generation Method for Concurrent Programs
Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems IV
Deriving Coordinated Testers for Interoperability
Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
Interoperability Testing: Basis for the Acceptance of Communication Systems
Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
Journal of Systems and Software - Special issue: Quality software
A generic formal framework for protocol interoperability test and test cases minimization
Proceedings of the 3rd international workshop on Automation of software test
International Journal of Web and Grid Services
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
Protocol system integration, interface and interoperability
OPODIS'04 Proceedings of the 8th international conference on Principles of Distributed Systems
| Hi-index | 0.00 |
This work has been motivated by the need to test interoperability of systems carrying voice calls over the IP network. The voice over IP (VoIP) systems must be integrated and interoperate with the existing public switched telephone network (PSTN) before they are widely adopted. Standards have been developed to address this problem, but unfortunately different standards bodies and commercial consortiums have defined different standards. Furthermore, the prevailing VoIP standard such as H.323 is incomplete, complex, and presents the implementers with "vendors latitudes." As a result, there is no guarantee that the integrated VoIP systems would interoperate properly even if the implementations are all H.323-compliant. Thus interoperability testing has become indispensable. We want to test all the system interoperations by exercising all the required patterns of "interoperating behaviors." On the other hand, test execution in real environment is expensive, and we want to minimize the number of tests while maintaining the coverage. We present a general method for automatic generation of test cases, which cover all the required system interoperations and contain a minimal number of tests. We study data structures and efficient test generation algorithms, which take time proportional to the total test case size. Finally, we report experimental results on VoIP systems.