Guidelines for Developers and QA Teams

This page complements the paper "Runtime Verification and Field-based Testing for ROS-Based Robotic Systems" and is an online repository of the guideline catalog for ROS-based Robotics projects.

You can further find the guidelines and information on the evaluation process. Reproduction kits, specifications, and accompanying code can be found in our replication package.

Guideline Catalog

Guidelines



Constraint identification


Code design and implementation


Instrumentation


Prepare Execution Environment


Specify (un)desired behavior


Monitor and Test Automation


System Execution


Analysis and Reporting