Model-based testing of autonomous robots using TestIt.
Gert KanterJüri VainPublished in: J. Reliab. Intell. Environ. (2020)
Keyphrases
- autonomous robots
- model based testing
- test cases
- software development
- mobile robot
- robot navigation
- software design
- testing process
- security policies
- software testing
- sequence diagrams
- robot control
- test data
- robotic systems
- motion control
- multi robot systems
- test set
- databases
- regression testing
- test generation
- feature space
- petri net
- open source