Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

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], Inria Saclay - Ile de France
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.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [31 references]  Display  Hide  Download
Contributor : Stefan Haar <>
Submitted on : Friday, March 1, 2013 - 2:31:26 PM
Last modification on : Thursday, July 8, 2021 - 3:46:42 AM
Long-term archiving on: : Sunday, April 2, 2017 - 7:30:14 AM


Files produced by the author(s)


  • HAL Id : hal-00796006, version 1


Hernán Ponce de León, Stefan Haar, Delphine Longuet. Model Based Testing for Concurrent Systems with Labeled Event Structures. 2013. ⟨hal-00796006⟩



Record views


Files downloads