Trace Analysis for Conformance and Arbitration Testing
IEEE Transactions on Software Engineering
A COS study of OSI interoperability
Computer Standards & Interfaces
Eight Years of Experience in Test Generation from FDTs using TVEDA
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)
Testing Concurrent Systems: A Formal Approach
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems V
Deriving Coordinated Testers for Interoperability
Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
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)
Fully automated interoperability test suite derivation for communication protocols
Computer Networks: The International Journal of Computer and Telecommunications Networking
International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
Quiescence management improves interoperability testing
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Test generation for interworking systems
Computer Communications
| Hi-index | 0.00 |
Interoperability testing aims at verifying the possibility for two or more components to communicate correctly while providing the foreseen services. In this paper, we describe a new method for generating interoperability test cases. This method is equivalent to classical methods in terms of non-interoperability detection. Contrary to classical approaches, this method avoids the well-known state-space explosion problem. It has been implemented in the CADP Toolbox and applied to a simplified version of the ISDN connection protocol. The obtained results confirm the real contribution of this method: test cases has been derived while classical approaches face the state-space explosion problem.