In general, standards for functional safety (IEC 61508, ISO 26262, IEC 62304, DO-178C...) and secure coding (SAE J3061, DO-326A, IEC 15408) dictate that requirements-based testing should take place, and that structural coverage analysis should reach a defined level. Unit test-based robustness testing can help by exposing run time errors, particularly those that are dependent on the run-time environment and therefore impervious to any static analysis based technique. This video demonstrates that principle using the LDRA tool suite.