Formalizing interoperability testing: quiescence management and test generation

Authors:
Alexandra Desmoulin;César Viho
Affiliations:
IRISA/Université de Rennes 1, Rennes, France;IRISA/Université de Rennes 1, Rennes, France
Venue:
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Year:
2005

Citing 3
Cited 4

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
Fully automated interoperability test suite derivation for communication protocols

Computer Networks: The International Journal of Computer and Telecommunications Networking

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

Proceedings of the second workshop on Automated formal methods
Interoperability testing of a MANET routing protocol using a node self-similarity approach

Proceedings of the 2008 ACM symposium on Applied computing
Compositional testing of communication systems

TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
A Framework for Testing of Wireless Underwater Robots

Wireless Personal Communications: An International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper gives formal definitions of the different existing interoperability notions called interoperability criteria. The equivalence between two of them leads to a method for interoperability test generation that avoids the state explosion problem of classical approaches.