This video demostrates the execution of a series of high level tests, showing that high level requirements are verified and that corresponding sections of the source code have been executed. Afterwards the structural coverage can be viewed. 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 are traced through design and development artefacts to application code, and vice versa. Automating the traceability makes that far easier to manage, especially when requirements change. The video uses the LDRA tool suite to demonstrate that.