[ros-users] [Discourse.ros.org] [Quality Assurance] Input validation as a metric for quality

fkromer ros.discourse at gmail.com
Thu Feb 1 21:02:40 UTC 2018

[quote="tyagikunal, post:5, topic:3732"]

* handle trade-offs: Lots of package owners might face the issue of increase in latency in order to increase their score from say 4 to 5. As a result, we might want to categorize types of assumptions so the highest priority ones affect score more than one with a low priority.

You want DbC checking enabled in development/integration versions of the software only (not in production versions). E.g. compiled programming languages with built-in support implement this with conditional "injection" of the DbC logic during compile time. "By throwing a compiler switch, Contracts code can be enabled or can be withdrawn from the compiled code." ([D's Contract Programming vs C++'s](https://dlang.org/cppcontracts.html)). C++17 supports DbC as well ([Support for contract based programming in C++](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0542r0.html)). I don't know if it is implemented in C++ compilers already and how. (If the language does not have built-in support the "manual" conditional "injection" of DbC logic is a potential source for errors. This applies on the ROS level as well.)

[Visit Topic](https://discourse.ros.org/t/input-validation-as-a-metric-for-quality/3732/7) or reply to this email to respond.

More information about the ros-users mailing list