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
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...