Test Coverage Criteria for Autonomous Mobile Systems based on Coloured Petri Nets
Raimar Lill, Francesca Saglietti · 2012
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 representa- tion of behavioral multiplicity to be covered by an appropriate selection of rep- resentative test scenarios fulfilling net-based coverage criteria.