在整个开发过程中验证您的模型和代码可以增加您对已实现系统的信心。动态仿真模块^®检查™，仿真软件设计校验™，仿真软件测试™, Polyspace^®帮助支持您的模型和代码验证过程。在开发的早期，您可以创建一个高级系统模型并链接到需求文档。系统模型可以作为可执行的规范和更详细模型的基础。通过执行连接到用户界面或工厂硬件的系统原型来验证需求。

模型验证包括检查标准，检查设计错误，证明属性，运行模拟来证明结果与预期输出相符。覆盖率度量表明测试使用模型的广泛程度。对于生成的代码，运行相同的测试以演示代码模型等价性。

生成和手写的代码遵循类似的验证过程。测量模型或代码覆盖率，以确定代码被测试的程度。检查代码中的错误，检查标准遵从性，并分析代码度量。添加测试，细化系统，细化需求，直到设计具有完整的功能，不显示意外的行为，并且经过了完整的测试。