Lill R, Saglietti F (2013)
Publication Language: English
Publication Type: Conference contribution, Conference Contribution
Publication year: 2013
Publisher: Hyper Articles en Ligne
Edited Volumes: 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
Conference Proceedings Title: 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
Event location: Toulouse (Frankreich)
Open Access Link: https://hal.archives-ouvertes.fr/hal-00848597
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.
APA:
Lill, R., & Saglietti, F. (2013). Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets. In Matthieu Roy (Eds.), 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. Toulouse (Frankreich): Hyper Articles en Ligne.
MLA:
Lill, Raimar, and Francesca Saglietti. "Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets." Proceedings of the Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems), Toulouse (Frankreich) Ed. Matthieu Roy, Hyper Articles en Ligne, 2013.
BibTeX: Download