模型覆盖率测试生成

打开脚本

此示例说明如何生成为去抖器实现完整模型覆盖率的测试用例。此示例模型中每个模型覆盖率点的结果都是一个测试目标。如果您将 Simulink Design Verifier 配置为生成最少的测试用例，它将在每个测试用例中满足尽可能多的目标。

open_system('sldvdemo_debounce_modelcov');