金宝appSimulink Design Verifier™使用正式的方法来识别模型中隐藏的设计错误。它检测模型中导致整数溢出、死逻辑、数组访问违规和除0的块。它可以正式地验证设计是否满足功能需求。对于每个设计错误或需求违背，它都会生成一个用于调试的模拟测试用例。

金宝appSimulink设计验证器生成测试用例模型覆盖和定制的目标，以扩展现有的基于需求的测试用例。这些测试案例驱动模型可以不满足条件，决策，修正条件/决定（MCDC）和自定义覆盖目标。除了覆盖的目标，您可以指定自定义的测试目标，自动生成基于需求的测试用例。

金宝app对行业标准的支持可通过IEC认证工具包（用于IEC 61508和ISO 26262）和DO资格套件（对于DO-178）。