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

Lill R, Saglietti F (2013)

Publication Language: English

Publication Type: Conference contribution

Publication year: 2013

Publisher: HAL Archives Ouvertes

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 (F)

Open Access Link: https://hal.archives-ouvertes.fr/hal-00848597/document

Abstract

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.

Authors with CRIS profile

Raimar Lill Lehrstuhl für Informatik 11 (Software-Engineering) Francesca Saglietti Lehrstuhl für Informatik 11 (Software-Engineering)

Related research project(s)

Testing of Co-operating Autonomous Systems R3-COP: Resilient Reasoning Robotic Co-operating Systems May 1, 2010 - Aug. 31, 2014

How to cite

APA:

Lill, R., & Saglietti, F. (2013). Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets. In 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 (F): HAL Archives Ouvertes.

MLA:

Lill, Raimar, and Francesca Saglietti. "Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets." Proceedings of the SAFECOMP Workshop on Dependable Embedded and Cyberphysical Systems (DECS 2013), Toulouse (F) HAL Archives Ouvertes, 2013.

BibTeX: Download