CORE
🇺🇦
make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
research
Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions
Authors
AA Julius
B Nielsen
+11 more
D Araiza-Illan
D Bird
EC Grigore
EM Clarke
J Boren
J Kim
M Mossige
M Utting
M-C Gaudel
R Stocker
S Petters
Publication date
1 January 2016
Publisher
Springer
Doi
Cite
View
on
arXiv
Abstract
© Springer International Publishing Switzerland 2016. Industries such as flexible manufacturing and home care will be transformed by the presence of robotic assistants. Assurance of safety and functional soundness for these robotic systems will require rigorous verification and validation. We propose testing in simulation using Coverage-Driven Verification (CDV) to guide the testing process in an automatic and systematic way. We use a two-tiered test generation approach, where abstract test sequences are computed first and then concretized (e.g., data and variables are instantiated), to reduce the complexity of the test generation problem. To demonstrate the effectiveness of our approach, we developed a testbench for robotic code, running in ROS-Gazebo, that implements an object handover as part of a humanrobot interaction (HRI) task. Tests are generated to stimulate the robot’s code in a realistic manner, through stimulating the human, environment, sensors, and actuators in simulation. We compare the merits of unconstrained, constrained and model-based test generation in achieving thorough exploration of the code under test, and interesting combinations of human-robot interactions. Our results show that CDV combined with systematic test generation achieves a very high degree of automation in simulation-based verification of control code for robots in HRI
Similar works
Full text
Open in the Core reader
Download PDF
Available Versions
UWE Bristol Research Repository
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:uwe-repository.worktribe.c...
Last time updated on 08/06/2020
Crossref
See this paper in CORE
Go to the repository landing page
Download from data provider
info:doi/10.1007%2F978-3-319-4...
Last time updated on 22/03/2019
Supporting member
Explore Bristol Research
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:research-information.bris....
Last time updated on 30/06/2017