主要内容
模型覆盖测试生成
此示例显示如何生成可为去Bouncer实现完整模型覆盖的测试用例。此示例模型中每个模型覆盖点的结果都是一个测试目标。如果配置Simulink Design Verifier以生成最少的测试用例，则它将在每个测试用例中满足尽可能多的目标。万博1manbetx
开放式系统(“sldvdemo_debounce_modelcov”);
您还可以从以下列表中选择网站：
此示例显示如何生成可为去Bouncer实现完整模型覆盖的测试用例。此示例模型中每个模型覆盖点的结果都是一个测试目标。如果配置Simulink Design Verifier以生成最少的测试用例，则它将在每个测试用例中满足尽可能多的目标。万博1manbetx
开放式系统(“sldvdemo_debounce_modelcov”);
您还可以从以下列表中选择网站：
