Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets

Résumé

This article proposes a model-based testing approach for cooperating robotic systems. Coloured Petri Nets are used for capturing the high behavioural multiplicity of such systems in a compact and scalable way. For the purpose of systematically extracting test cases from underlying models, a number of coverage criteria based on different model entities is introduced. Finally, in order to ensure practicality, an incremental testing procedure based on increasingly refined coverage concepts is proposed.
Fichier principal
Vignette du fichier
4_-_Model-based_testing_of_cooperating_robotic_systems_using_CPN_camera-ready.pdf (291.96 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00848597 , version 1 (26-07-2013)

Identifiants

  • HAL Id : hal-00848597 , version 1

Citer

Raimar Lill, Francesca Saglietti. Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets. SAFECOMP 2013 - Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA. ⟨hal-00848597⟩
350 Consultations
330 Téléchargements

Partager

Gmail Facebook X LinkedIn More