Model Based Testing for Concurrent Systems with Labeled Event Structures

Hernán Ponce de León 1, 2 Stefan Haar 1, 2 Delphine Longuet 3
2 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
3 ForTesse
LRI - Laboratoire de Recherche en Informatique
Abstract : Abstract. We propose a theoretical testing framework and a test generation algorithm for concurrent systems that are speci ed with true concurrency models, such as Petri nets or networks of automata. The semantic model of computation of such formalisms are labeled event structures, which allow to represent concurrency explicitly. The activity of testing relies on the de nition of a conformance relation that depends on the observable behaviors on the system under test. The ioco type conformance relations for sequential systems rely on the observation of sequences of inputs and outputs and blockings. However these relations are not capable of capturing and exploiting concurrency of non sequential behavior. We propose an extension of the ioco conformance relation for labeled event structures, named co-ioco, which allows to deal with explicit concurrency. We give an algorithm to build test cases from a given speci cation and prove that the generated test suite is complete for co-ioco.
Type de document :
Pré-publication, Document de travail
Submitted to a journal. 2013
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00796006
Contributeur : Stefan Haar <>
Soumis le : vendredi 1 mars 2013 - 14:31:26
Dernière modification le : jeudi 11 janvier 2018 - 06:26:53
Document(s) archivé(s) le : dimanche 2 avril 2017 - 07:30:14

Fichier

report.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00796006, version 1

Citation

Hernán Ponce de León, Stefan Haar, Delphine Longuet. Model Based Testing for Concurrent Systems with Labeled Event Structures. Submitted to a journal. 2013. 〈hal-00796006〉

Partager

Métriques

Consultations de la notice

222

Téléchargements de fichiers

86