金宝app^®设计验证器™使用形式方法识别模型中隐藏的设计错误，而无需大量模拟运行。它检测模型中导致整数溢出、死逻辑、数组访问冲突、零除和需求冲突的块。对于每个错误，它都会生成一个用于调试的模拟测试用例。

金宝appSimulink设计验证程序为模型覆盖率和自定义目标生成测试输入。它还允许您扩充和扩展现有的测试用例。这些测试用例驱动您的模型满足条件、决策、修改的条件/决策（MCDC）和自定义覆盖率目标。

中的模型切片器工具金宝appSimulink设计验证程序结合使用动态和静态分析来隔离模型中有问题的行为。它允许您突出显示和跟踪端口、信号和块的功能依赖关系，并将大型模型分割为较小的独立模型进行分析。您可以查看影响子系统输出的块，并通过多个开关和逻辑跟踪信号路径。Variant Reducer工具使您能够通过基于活动变量配置创建切片模型来简化包含多个变量的模型。

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