Generating interoperability test cases from conformance test case generation tools
Résumé
This paper focuses on studing efficient solutions for deriving interoperability tests. In this work, we propose first a coherent formal framework for interoperability testing based on a parametrized writing of the interoperability relations. An approach and associated algorithm is then introduced for this framework. As a consequence, adaptation of our results to conformance testing tools for generating interoperability tests is fully automatic. By the way, we show that the proposed approach applies for testing in context.
Domaines
Calcul formel [cs.SC]
Origine : Fichiers produits par l'(les) auteur(s)