Model Based Testing for Concurrent Systems with Labeled Event Structures - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2013

Model Based Testing for Concurrent Systems with Labeled Event Structures

Résumé

We propose a theoretical testing framework and a test generation al- gorithm for concurrent systems specified with true concurrency models, such as Petri nets or networks of automata. The semantic model of com- putation of such formalisms are labeled event structures, which allow to represent concurrency explicitly. We introduce the notions of strong and weak concurrency: strongly concurrent events must be concurrent in the implementation, while weakly concurrent ones may eventually be ordered. The ioco type conformance relations for sequential systems rely on the observation of sequences of actions and blockings, thus they are not capa- ble of capturing and exploiting concurrency of non sequential behaviors. We propose an extension of ioco for labeled event structures, named co- ioco, allowing to deal with strong and weak concurrency. We extend the notions of test cases and test execution to labeled event structures, and give a test generation algorithm building a complete test suite for co-ioco.
Fichier principal
Vignette du fichier
paper.pdf (601 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00914796 , version 1 (06-12-2013)
hal-00914796 , version 2 (26-05-2014)
hal-00914796 , version 3 (26-01-2015)

Identifiants

  • HAL Id : hal-00914796 , version 1

Citer

Hernán Ponce de León, Stefan Haar, Delphine Longuet. Model Based Testing for Concurrent Systems with Labeled Event Structures. [Research Report] 2013. ⟨hal-00914796v1⟩
414 Consultations
414 Téléchargements

Partager

Gmail Facebook X LinkedIn More