金宝app^®设计验证器™使用形式方法识别模型中隐藏的设计错误。它检测模型中导致整数溢出、死逻辑、数组访问冲突和被零除的块。它可以正式验证设计是否满足功能要求。对于每一个设计错误或需求冲突，它都会生成一个用于调试的模拟测试用例。

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

金宝app可通过以下途径获得对行业标准的支持：IEC认证工具包（适用于IEC 61508和ISO 26262）和DO资格鉴定套件（适用于DO-178）。