Model-based Testing for Concurrent Systems: Unfolding-based Test Selection - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue International Journal on Software Tools for Technology Transfer Année : 2014

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

Résumé

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
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

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

Identifiants

Citer

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 Consultations
298 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More