Model-based Testing for Concurrent Systems: Unfolding-based Test Selection - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles International Journal on Software Tools for Technology Transfer Year : 2014

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

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.
Fichier principal
Vignette du fichier
sttt_final.pdf (834.13 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive
Loading...

Dates and versions

hal-00996000 , version 1 (26-05-2014)
hal-00996000 , version 2 (15-12-2014)

Identifiers

Cite

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, 2014, pp.14-28. ⟨10.1007/s10009-014-0353-y⟩. ⟨hal-00996000v2⟩
199 View
298 Download

Altmetric

Share

Gmail Facebook X LinkedIn More