[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. [/quote] 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. 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: