Model-based Testing of Autonomous Systems based on Coloured Petri Nets.
Raimar LillFrancesca SagliettiPublished in: ARCS Workshops (2012)
Keyphrases
- autonomous systems
- coloured petri nets
- model based testing
- test cases
- software development
- formal verification
- software design
- security policies
- testing process
- uncertain environments
- software testing
- dynamic environments
- sequence diagrams
- autonomous navigation
- test data
- databases
- test set
- situation awareness
- access control
- training process
- computer networks
- model checking
- software systems