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
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
Test Architectures for Distributed Systems: State of the Art and Beyond
IWTCS Proceedings of the IFIP TC6 11th International Workshop on Testing Communicating Systems
Test generation for interworking systems
Computer Communications
Automatic interoperability test case generation based on formal definitions
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
Compositional testing of communication systems
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating 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
| Hi-index | 0.00 |
At any level of computer networks, interoperability testing generally deals with several components that communicate while trying to provide a designated service. When a component remains silent, the assigned testing verdict is generally Fail, assuming that its behavior is non-conformant. Sometimes, this silence may be anticipated given the component’s specifications. In these cases, the fail verdict is not unsatisfactory. In this paper, we show that “quiescence management” improves interoperability testing. Based on formal definitions of interoperability testing, we introduce new definitions that take into account the possible quiescence of components under test. Through several examples and scenarios, we show that these new definitions detect non-interoperability cases with higher precision. Moreover, these new definitions more clearly distinguish specification-driven quiescences from others, leading to unbiased interoperability tests with accurate verdicts.