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
Rapport (Rapport De Recherche) Année : 2014

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

Delphine Longuet

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
paper.pdf (260.25 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : hal-00996000 , version 1

Citer

Hernán Ponce de León, Stefan Haar, Delphine Longuet. Model-based Testing for Concurrent Systems: Unfolding-based Test Selection. [Research Report] 2014. ⟨hal-00996000v1⟩
199 Consultations
298 Téléchargements

Partager

Gmail Facebook X LinkedIn More