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

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

生成实现完整模型覆盖的测试用例。默认情况下，Simuli金宝appnk®Design Verifier™生成的测试用例可以在最少的步骤中满足目标。其中一个测试目标迫使PI控制器中的离散积分器超过其上限。在不受约束地运行Simul金宝appink设计验证器时，将强制将速度设置为500，从而在一个步骤中超过限制。速度约束将测试用例中的值限制在0到100之间。这迫使测试用例取多个样本以超过积分器限制。