文档帮助中心文档
测试生成为您的模型生成输入值序列,以满足测试标准,例如模型覆盖率。金宝app®设计验证器™从基于需求的测试扩展现有的模型覆盖信息。它生成额外的测试输入序列,满足在基于需求的测试中未满足的覆盖目标。使用这些测试输入来更好地理解缺失的需求,并创建一个更完整的测试工具。
为debouncer生成实现完整模型覆盖的测试用例。这个示例模型中每个模型覆盖点的结果是一个测试目标。如果您配置Simulink Des金宝appign Verifier以生成最少的测试用例,它将在每个测试用例中满足尽可能多的目标。
生成满足决策、条件和MCDC覆盖率的测试用例。Simulink设计验证程序自动生成测试数据并验证模型的属性。它生成满足测试标准或证明反例的输入值序金宝app列。与模型关联的配置选项指定分析的目标。分析模型时,Simulink Design Verifier使用穷举搜索技术生成输入数据。成功后,它将生成测试数据并创建一个新线束模型,其中包含一个信号生成器块,其数据值满足分析目标。注意:此模型的复杂性可能会阻止测试生成在分配的时间内完成。您可以停止测试生成并生成部分结果,也可以通过编辑Simulink Design Verifier选项来延长时间限制。
生成实现完整模型覆盖的测试用例。默认情况下,Simuli金宝appnk Design Verifier生成的测试用例以最少的步骤满足目标。其中一个测试目标迫使PI控制器中的离散积分器超过其上限。当您在没有约束的情况下运行金宝appSimulink Design Verifier时,通过强制速度为500,一个步骤就会超过该限制。速度限制将测试用例中的值限制在0到100之间。这迫使测试用例使用多个示例来超过积分器限制。
为触发器生成完成模型覆盖的测试用例。这个示例模型中每个模型覆盖点的结果是一个测试目标。如果您配置Simulink Des金宝appign Verifier以生成最少的测试用例,它将在每个测试用例中满足尽可能多的目标。
您avez cliqué sur un lien qui对应à cette command MATLAB:
Pour exécuter la command, saisissez-la dans la fenêtre de command de MATLAB。Les navigateurs web ne支金宝app持pas Les命令MATLAB。
选择一个网站,在那里获得翻译的内容,并看到当地的活动和优惠。根据您的位置,我们建议您选择:.
你也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳网站性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。
与当地办事处联系