主要内容
模型覆盖测试生成
这个例子展示了如何生成测试用例来为脱线器实现完整的模型覆盖。在这个示例模型中，每个模型覆盖点的结果是一个测试目标。如果您将Simulink Desi万博1manbetxgn Verifier配置为生成最少的测试用例，那么它将在每个测试用例中满足尽可能多的目标。
open_system (“sldvdemo_debounce_modelcov”);
您也可以从以下列表中选择一个网站:
