Towards a Formal Framework for Interoperability Testing
César Viho, Sébastien Barbin, Lénaïck Tanguy · Kluwer Academic Publishers eBooks · 2006
This paper shows how the existing concepts of conformance testing can be used to define a formal framework for interoperability testing. First, the different possible interoperability testing architectures are discussed. Then, we define several interoperability relations based on the existing relations defined for conformance testing. A comparison of these relations is given, in terms of their power to detect non-interoperability. Some guidelines are given to help in generating interoperability tests.