hypothesis-ros

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

Warning

This repository is unmaintained and has been archived. Refer to ros1_fuzzer instead.

hypothesis-ros provides data generators for message data fields, parameters and common message fields of the Robot Operating System 1 (ROS). hypothesis-ros enables Property Based Testing and Fuzzy Testing of ROS1 nodes.

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