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

https://hal.inria.fr/hal-00996000
Contributor : Hernan Ponce de Leon <>
Submitted on : Monday, December 15, 2014 - 2:16:52 PM
Last modification on : Monday, February 15, 2021 - 10:47:56 AM
Long-term archiving on: : Monday, March 16, 2015 - 10:06:31 AM

File

sttt_final.pdf
Publisher files allowed on an open archive

Identifiers

Citation

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⟩

Share

Metrics

Record views

353

Files downloads

571