Skip to Main content Skip to Navigation
Journal articles

Model-based Testing for Concurrent Systems: Unfolding-based Test Selection

Hernán Ponce de León 1, 2 Stefan Haar 2, 1 Delphine Longuet 3 
1 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 : Model-based testing has mainly focused on models where concurrency is interpreted as interleaving (like the ioco theory for labeled transition systems), which may be too coarse when one wants concurrency to be preserved in the implementation. In order to test such concurrent systems, we choose to use Petri nets as specifications and define a concurrent conformance relation named co-ioco. We present a test generation algorithm based on Petri net unfolding able to build a complete test suite w.r.t our co-ioco conformance relation. In addition we propose several coverage criteria that allow to select finite prefixes of an unfolding in order to build manageable test suites.
Complete list of metadata

Cited literature [26 references]  Display  Hide  Download
Contributor : Hernan Ponce De Leon Connect in order to contact the contributor
Submitted on : Monday, December 15, 2014 - 2:16:52 PM
Last modification on : Sunday, June 26, 2022 - 12:02:23 PM
Long-term archiving on: : Monday, March 16, 2015 - 10:06:31 AM


Publisher files allowed on an open archive



Hernán Ponce de León, Stefan Haar, Delphine Longuet. Model-based Testing for Concurrent Systems: Unfolding-based Test Selection. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2014, pp.14-28. ⟨10.1007/s10009-014-0353-y⟩. ⟨hal-00996000v2⟩



Record views


Files downloads