Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents.
Dejanira Araiza-IllanAnthony G. PipeKerstin EderPublished in: CoRR (2016)
Keyphrases
- belief desire intention
- test generation
- intelligent agents
- test cases
- agent architecture
- mental states
- multi agent systems
- bdi architecture
- static analysis
- software testing
- bdi agents
- quality assurance
- test data generation
- symbolic execution
- bdi model
- software development
- multi agent
- software systems
- autonomous agents
- multiagent systems
- design automation
- mobile robot
- artificial intelligence
- regular expressions
- training data
- source code
- learning algorithm
- decision making
- cooperative
- agent model
- quality control
- software agents
- machine learning
- test suite
- test set
- data model
- reinforcement learning
- quality assessment
- life cycle
- high level
- resource allocation