Navigation

See the following pages to learn how to create your specifications in rospec.


Table of contents

  • Component Specification - Learn how to write rospec specifications for ROS components.
  • Component Communication - Learn how to specify and verify communication between ROS components using rospec.
  • Parameter Dependencies - Learn how to express and verify relationships between parameters in rospec.
  • TF Frames - Learn how to specify and verify TF frame broadcasts and listeners in rospec.
  • Plugins - Learn how to specify and verify plugin configurations in rospec.
  • System Integration - Learn how to specify and verify the integration of ROS components using rospec.
  • Type System - Understanding the type system in rospec, including basic types, liquid types, and type aliases.