Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets.
Raimar LillFrancesca SagliettiPublished in: DECS@SAFECOMP (2013)
Keyphrases
- robotic systems
- coloured petri nets
- model based testing
- test cases
- software development
- software design
- formal verification
- mobile robot
- testing process
- sequence diagrams
- vision system
- security policies
- cooperative
- software testing
- robotic manipulator
- test data
- object manipulation
- manipulation tasks
- software engineering
- test generation
- regression testing
- case study
- artificial intelligence
- human teaching behavior
- databases
- multi agent systems
- real time
- object oriented
- imitation learning
- learning algorithm