Test Coverage Criteria for Autonomous Mobile Systems based on Coloured Petri Nets

Lill R, Saglietti F (2012)

Publication Language: English

Publication Type: Conference contribution

Publication year: 2012

Publisher: Institut für Verkehrssicherheit und Automatisierungstechnik

Edited Volumes: 9th FORMS/FORMAT 2012 - Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems

City/Town: Braunschweig

Pages Range: 155-162

Conference Proceedings Title: FORMS/FORMAT 2012

Event location: Braunschweig

ISBN: 978-3-9803363-3-8

Abstract

For the purpose of testing the cooperative behavior of software-controlled autonomous systems, a model-based testing approach is presented. It makes use of Coloured Petri Nets providing a compact and scalable representation of behavioral multiplicity to be covered by an appropriate selection of representative test scenarios fulfilling net-based coverage criteria.

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. (2012). Test Coverage Criteria for Autonomous Mobile Systems based on Coloured Petri Nets. In FORMS/FORMAT 2012 (pp. 155-162). Braunschweig: Braunschweig: Institut für Verkehrssicherheit und Automatisierungstechnik.

MLA:

Lill, Raimar, and Francesca Saglietti. "Test Coverage Criteria for Autonomous Mobile Systems based on Coloured Petri Nets." Proceedings of the 9th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig Braunschweig: Institut für Verkehrssicherheit und Automatisierungstechnik, 2012. 155-162.

BibTeX: Download