This document discusses requirements traceability and testing capabilities in Simulink. It describes how Simulink can trace requirements bidirectionally between models and source code. It also outlines how Simulink Design Verifier can automatically generate tests to achieve high coverage and check designs against requirements. Finally, it positions several MathWorks products in the V&V process and highlights key capabilities of Simulink Test for authoring, managing and executing simulation-based tests.