使用设计错误检测分析来检测模型中的整数溢出错误。金宝appSimulink®Design Verifier™识别可能导致整数溢出的模型构造，然后证明在模拟过程中不能发生整数溢出，或者生成演示整数溢出错误的测试用例。

使用Simulink®Design Verifier™属性证明分析找到金宝app属性违规。您将安全需求建模为属性，然后根据需求验证设计模型。

生成实现完整模型覆盖的测试用例。默认情况下，Simuli金宝appnk Design Verifier生成的测试用例以最少的步骤满足目标。其中一个测试目标迫使PI控制器中的离散积分器超过其上限。当您在没有约束的情况下运行金宝appSimulink Design Verifier时，通过强制速度为500，一个步骤就会超过该限制。速度限制将测试用例中的值限制在0到100之间。这迫使测试用例使用多个示例来超过积分器限制。