在整个开发过程中验证模型和代码会增加对实施系统的信心。金宝appSimulink Check™，，，，金宝appSimulink Coverage™，，，，需求Toolbox™，，，，金宝appSimulink Design Verifier™，，，，金宝appSimulink Test™和多元空间^®帮助支持您金宝app的模型和代码验证过程。在开发的早期，您可以创建高级系统模型并链接到需求文档。系统模型可以用作可执行的规范和更详细的模型的基础。通过执行连接到用户界面或植物硬件的系统原型来验证需求。

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

生成和手写的代码遵循类似的验证过程。测量模型或代码覆盖范围，以确定测试代码的程度。检查代码是否错误，检查标准符合性并分析代码指标。添加测试，完善系统并完善要求，直到设计完全功能性，没有表现出意外的行为，并且经过全面测试。