Effectiveness for Input Output Conformance Simulation iocos̱

Abstract : In this paper we continue the study of the input-output conformance simulation (iocos). In particular, we focus on implementation aspects to show that iocos is indeed an interesting semantic relation for formal methods. We address two complementary issues: a) In the context of model based testing (MBT) we present an online, also called on-the-fly, testing algorithm that checks whether an implementation conforms a given specification. Online testing combines test generation and execution and avoids the generation of the complete test suite for the specification. We prove both soundness and completeness of the online algorithm with respect to the iocos relation. b) In the context of formal verification and model checking minimisation a key issue is to efficiently compute the considered semantic relations; we show how the coinductive flavour of our conformance relation iocos makes it appropriate to be cast into an instance of the Generalised Coarsest Partition Problem (GCPP) and thus it can be efficiently computed.
Type de document :
Communication dans un congrès
Erika Ábrahám; Catuscia Palamidessi. 34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. Springer, Lecture Notes in Computer Science, LNCS-8461, pp.100-116, 2014, Formal Techniques for Distributed Objects, Components, and Systems. 〈10.1007/978-3-662-43613-4_7〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01398009
Contributeur : Hal Ifip <>
Soumis le : mercredi 16 novembre 2016 - 15:35:37
Dernière modification le : vendredi 29 septembre 2017 - 14:36:04
Document(s) archivé(s) le : jeudi 16 mars 2017 - 16:47:32

Fichier

978-3-662-43613-4_7_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. Effectiveness for Input Output Conformance Simulation iocos̱. Erika Ábrahám; Catuscia Palamidessi. 34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. Springer, Lecture Notes in Computer Science, LNCS-8461, pp.100-116, 2014, Formal Techniques for Distributed Objects, Components, and Systems. 〈10.1007/978-3-662-43613-4_7〉. 〈hal-01398009〉

Partager

Métriques

Consultations de la notice

46

Téléchargements de fichiers

18