Input-Output Conformance Simulation (iocos) for Model Based Testing

Abstract : A new model based testing theory built on simulation semantics is presented. At the core of this theory there is an input-output conformance simulation relation (iocos). As a branching semantics iocos can naturally distinguish the context of local choices. We show iocos to be a finer relation than the classic ioco conformance relation. It turns out that iocos is a transitive relation and therefore it can be used both as a conformance relation and a refinement preorder. An alternative characterisation of iocos is provided in terms of testing semantics. Finally we present an algorithm that produces a test suite for any specification. The resulting test suite is sound and exhaustive for the given specification with respect to iocos.
Type de document :
Communication dans un congrès
Dirk Beyer; Michele Boreale. 15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. Springer, Lecture Notes in Computer Science, LNCS-7892, pp.114-129, 2013, Formal Techniques for Distributed Systems. 〈10.1007/978-3-642-38592-6_9〉
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01515238
Contributeur : Hal Ifip <>
Soumis le : jeudi 27 avril 2017 - 10:46:44
Dernière modification le : mardi 28 novembre 2017 - 16:20:01
Document(s) archivé(s) le : vendredi 28 juillet 2017 - 12:42:56

Fichier

978-3-642-38592-6_9_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres. Input-Output Conformance Simulation (iocos) for Model Based Testing. Dirk Beyer; Michele Boreale. 15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. Springer, Lecture Notes in Computer Science, LNCS-7892, pp.114-129, 2013, Formal Techniques for Distributed Systems. 〈10.1007/978-3-642-38592-6_9〉. 〈hal-01515238〉

Partager

Métriques

Consultations de la notice

73

Téléchargements de fichiers

21