通过使用设计错误检测分析检测模型中的整数溢出错误。金宝appSimulink®设计验证程序™标识可能导致整数溢出的模型构造，然后证明在模拟期间无法发生整数溢出或生成演示整数溢出错误的测试用例。

使用Simulink®Design Verifier™属性证明分析查找金宝app属性违规。您将安全要求作为属性进行模型，然后验证设计模型是否要求要求。

生成达到完全模型覆盖的测试用例。默认情况下，Simuli金宝appnk Design Verifier生成测试用例，以满足最少步骤满足目标。其中一个测试目标强制PI控制器中的离散积分器超过其上限。在没有约束的情况下运行Si金宝appmulink设计验证者时，通过迫使速度为500，在单个步骤中超出限制。速度的约束限制了0到100之间的测试用例中的值。这力于测试用例以超过几个样本积分器限制。