主要内容
模型覆盖试验
此示例显示如何生成实现替代替代模型覆盖的测试用例。该示例模型中每个模型覆盖点的结果是测试目标。如果配置Simulink Desi万博1manbetxgn Verifier以生成最少的测试用例，则会在每个测试用例中满足尽可能多的目标。
Open_System（'sldvdemo_debounce_modelcov'）;
您还可以从以下列表中选择一个网站：
此示例显示如何生成实现替代替代模型覆盖的测试用例。该示例模型中每个模型覆盖点的结果是测试目标。如果配置Simulink Desi万博1manbetxgn Verifier以生成最少的测试用例，则会在每个测试用例中满足尽可能多的目标。
Open_System（'sldvdemo_debounce_modelcov'）;
您还可以从以下列表中选择一个网站：
