Data generators for Property Based Testing and Fuzzy Testing of ROS1 nodes.

https://img.shields.io/pypi/wheel/hypothesis-ros.svg https://img.shields.io/pypi/pyversions/hypothesis-ros.svg https://img.shields.io/pypi/l/hypothesis-ros.svg

hypothesis-ros looks small and cute. But it is one of those libraries on the dark side of power. It can be very powerful and very nasty. It enables property-based testing on the ROS1 node level. It provides generators for message data fields, parameters and message fields of a growing number of messages.

hypothesis-ros depends on the property based testing framework hypothesis. The documentation for this library can be found in the hypothesis documentation.

The naming of strategies is according to ROS1 notation to ease the mapping of the strategies to the corresponding ROS1 data types, messages and parameters. Consider that this implies some conflict with Python builtins (e.g. bool, list).

Indices and tables