fkromer / hypothesis-ros
Data generators for Property Based Testing and Fuzzy Testing of ROS1 nodes.
☆15Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for hypothesis-ros
- Implementation of the ROS Middleware (rmw) Interface using Intel's Distributed Publish & Subscribe.☆23Updated 3 years ago
- Tracing tools for ROS☆35Updated 5 months ago
- Catkin extension to play nice with usual python packages and workflow☆10Updated 4 years ago
- Single point of entry for writing tests which involve Nodes in ROS 2.☆15Updated this week
- ROS2 on microcontrollers !☆24Updated 6 years ago
- Tools to steal ROS message definitions so you can talk with robots☆41Updated 7 years ago
- Proxy to expose remote ROS topics, services and parameters locally thru rosbridge☆28Updated 6 years ago
- Check catkin packages for common errors☆57Updated last month
- A ROS package containing ROS network analysis tools☆9Updated 9 years ago
- A buildbot configuration for building ROS debians, docs, and tests.☆51Updated 6 years ago
- An RQT plugin for hierarchical launchfile configuration introspection.☆47Updated 2 years ago
- Common testing tools for C++ which are used for testing in various OSRF projects.☆33Updated 4 months ago
- ROS 2 library providing classes to collect measurements and calculate statistics across them.☆31Updated this week
- Automatically generate documentation for ROS nodes☆19Updated 4 years ago
- ROS files and exercises for the ros-tdd seminar I gave to the Social Robots Group on march 2014☆22Updated 10 years ago
- ☆33Updated 3 months ago
- [DEPRECATED] Lightweight, real-time system metrics collector for ROS2 systems☆19Updated 3 years ago
- ROS safety working group repository☆36Updated 2 years ago
- An Ansible Role that installs ROS 2 (Robot Operating System) on Ubuntu 🤖☆16Updated 9 months ago
- ROS2-inspired lifecycle for ROS1☆35Updated 2 years ago
- Github action to run linters on ROS 2 packages☆19Updated this week
- The project aims to provide a framework for ROS2 benchmarking. ROS2 communication characteristics can be evaluated on several axes, quick…☆47Updated 6 years ago
- ROS2 Integration and Routing: Provide a complete tool to integrate other technologies with ROS2 easily and enable ROS2 on WAN/Internet.☆12Updated 3 years ago
- An information model for robot hardware. Facilitates interoperability across modules from different robot manufacturers. Built around ROS…☆66Updated 5 years ago
- ROS package to run coverage testing☆37Updated last year
- ☆41Updated this week
- Maintains a bond (i.e. heart beat ) between ROS nodes and provides feedback when the bond is broken☆36Updated 4 months ago
- linux hardware utilities.☆22Updated last year
- ROS library for spatial transformations with uncertainty (MRPT wrapper)☆17Updated 3 weeks ago
- ROS wrapper for the Catch unit test framework☆22Updated 3 years ago