主要内容

喷油量控制器逻辑

此示例说明如何生成满足决策、条件和 MCDC 覆盖率的测试用例。Simulink® Design Verifier™ 会自动生成测试数据并证明模型的属性。它会生成满足测试准则或演示证明反例的输入值序列。与模型相关的配置选项指定分析的目标。当您分析模型时,Simulink Design Verifier 会使用穷举搜索方法来生成输入数据。成功后,它会生成测试数据并创建一个新的框架模型,其中包含一个 Signal Editor 模块,该模块包含满足分析目标的数据值。注意:此模型的复杂度可能会导致测试生成无法在分配的时间内完成。您可以停止测试生成并生成部分结果,也可以通过编辑 Simulink Design Verifier 选项来延长时间限制。

open_system('sldvdemo_fuelsys_logic');