生成测试案例，以实现辩论者的完整模型覆盖范围。此示例模型中每个模型覆盖点的结果是一个测试目标。如果您配置了Simulink设计验金宝app证器以生成最少的测试用例，则它将满足每个测试用例中尽可能多的目标。

生成满足决策，状况和MCDC覆盖范围的测试用例。金宝appSimulink Design Verifier自动生成测试数据并证明模型的属性。它产生了满足测试标准或证明证明的反例的输入值序列。与模型关联的配置选项指定分析的目标。分析模型时，Simulink Design验证者使用详尽金宝app的搜索技术来生成输入数据。成功后，它会生成测试数据，并创建一个新的线束模型，该模型包含具有满足分析目标的数据值的信号构建器块。注意：该模型的复杂性可能会阻止在分配的时间内完成测试生成。您可以停止测试生成并生成部分结果，也可以通过编辑Simulink设计验证器选项来延长时间限制。金宝app

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

生成实现触发器的完整模型覆盖率的测试用例。此示例模型中每个模型覆盖点的结果是一个测试目标。如果您配置了Simulink设计验金宝app证器以生成最少的测试用例，则它将满足每个测试用例中尽可能多的目标。

使用Si金宝appmulink Design验证程序通过使用默认的顶部模型仿真来生成模型块的测试用例。