For C/C++, and various code generation from state description tools like matlab/simulink, specific in the auto/aircraft/safety industries, I won't mention by name here, but no FOSS.
Anyway, I think about this stuff all the time and really enjoyed your article, thanks for writing it, it doesn't seem to be a very popular topic to write in such depth. Thanks again!
Comments
MC/DC https://en.wikipedia.org/wiki/Modified_condition/decision_co... addresses the given example.
Author here, great link—thanks! Do you know of any coverage tools that implement this?
For C/C++, and various code generation from state description tools like matlab/simulink, specific in the auto/aircraft/safety industries, I won't mention by name here, but no FOSS.
Anyway, I think about this stuff all the time and really enjoyed your article, thanks for writing it, it doesn't seem to be a very popular topic to write in such depth. Thanks again!