Input validation as a metric for quality

[fkromer]

@tyagikunal

I’d like to confess in advance that I don’t 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, I’m eager to know your views on the topic and to answer, clarify and discuss.

The thread hyperlinked already 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. Python hypothesis integrates with pytest out-of-the-box. If you search in the hypothesis readthedocs you will find out how it integrates with pytest. (BTW: hypothesis-pytest is legacy…)