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], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
2 LSV - Laboratoire Spécification et Vérification [Cachan]
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.
Type de document :
Article dans une revue
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2014, pp.14-28. 〈10.1007/s10009-014-0353-y〉
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-00996000
Contributeur : Hernan Ponce de Leon <>
Soumis le : lundi 15 décembre 2014 - 14:16:52
Dernière modification le : jeudi 5 avril 2018 - 16:32:00
Document(s) archivé(s) le : lundi 16 mars 2015 - 10:06:31

Fichier

sttt_final.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Collections

INRIA | ENS-CACHAN | UMR8623 | LRI-VALS

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

254

Téléchargements de fichiers

127

Contact


archive-ouverte@inria.fr