Passive Testing with Asynchronous Communications

Abstract : Testing is usually understood to involve the tester interacting with the studied system by supplying input and observing output. However, sometimes this active interaction is not possible and testing becomes more passive. In this setting, passive testing can be considered to be the process of checking that the observations made regarding the system satisfy certain required properties. In this paper we study a formal passive testing framework for systems where there is an asynchronous communications channel between the tester and the system. We consider a syntactic definition of a class of properties and provide a semantic representation, as automata, that take into account the different observations that we can expect due to the assumption of asynchrony. Our solution checks properties against traces in polynomial time, with a low need for storage. Therefore, our proposal is very suitable for real-time passive testing.
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.99-113, 2013, Formal Techniques for Distributed Systems. 〈10.1007/978-3-642-38592-6_8〉
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-01515240
Contributeur : Hal Ifip <>
Soumis le : jeudi 27 avril 2017 - 10:46:46
Dernière modification le : jeudi 27 avril 2017 - 14:43:59
Document(s) archivé(s) le : vendredi 28 juillet 2017 - 12:31:55

Fichier

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

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Robert Hierons, Mercedes Merayo, Manuel Núñez. Passive Testing with Asynchronous Communications. 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.99-113, 2013, Formal Techniques for Distributed Systems. 〈10.1007/978-3-642-38592-6_8〉. 〈hal-01515240〉

Partager

Métriques

Consultations de la notice

33

Téléchargements de fichiers

20