[quote="tyagikunal, post:1, topic:3732"] Id like to confess in advance that I dont know how to enforce or detect violations automatically, or even what all would constitute a violation of input validation since it might be a non-exhaustive list. Having said that, Im eager to know your views on the topic and to answer, clarify and discuss. [/quote] The [thread hyperlinked already](https://discourse.ros.org/t/design-by-contract/2405/27) points to a project where Python `hypothesis` is used for property based testing in ROS1. That would be a possible way to verify violations. It could be even easier to integrate with ROS2 because the ROS2 infrastructure supports `pytest` out of the box with [ament_cmake_pytest](https://github.com/ament/ament_cmake/tree/master/ament_cmake_pytest). Python `hypothesis` integrates with `pytest` out-of-the-box. If you search in the [hypothesis readthedocs](http://hypothesis.readthedocs.io/en/latest/index.html) you will find out how it integrates with `pytest`. (BTW: [hypothesis-pytest](https://pypi.python.org/pypi/hypothesis-pytest) is legacy...) --- [Visit Topic](https://discourse.ros.org/t/input-validation-as-a-metric-for-quality/3732/4) or reply to this email to respond. If you do not want to receive messages from ros-users please use the unsubscribe link below. If you use the one above, you will stop all of ros-users from receiving updates. ______________________________________________________________________________ ros-users mailing list ros-users@lists.ros.org http://lists.ros.org/mailman/listinfo/ros-users Unsubscribe: