在整个开发过程中验证您的模型和代码会增加对所实现的系统的信心。金宝app^®CHECK™那金宝appSimulink Design Verifier™那金宝appSimulink Test™和波尔多空间^®帮助支持您金宝app的模型和代码验证过程。在开发时，您可以创建一个高级系统模型并链接到要求文档。系统模型可以用作可执行规范和更详细的模型的基础。通过执行连接到用户界面或工厂硬件的系统原型来验证要求。

模型验证包括检查标准，检查设计错误，证明属性和运行模拟，以证明结果匹配预期输出。覆盖率测量表示如何广泛测试锻炼模型。对于生成的代码，运行相同的测试以演示代码模型等价。

生成和手写代码遵循类似的验证过程。测量模型或代码覆盖，以确定代码的测试程度。检查错误，检查标准合规性和分析代码指标。在设计功能完全正常的情况下，添加测试，改进系统和细化要求，不会展示意外行为，并经过完全测试。