文档帮助中心文档
测试生成为您的模型生成输入值序列,以满足测试标准,例如模型覆盖率。金宝app®设计验证器™从基于需求的测试扩展现有的模型覆盖信息。它生成额外的测试输入序列,满足在基于需求的测试中未满足的覆盖目标。使用这些测试输入来更好地理解缺失的需求,并创建一个更完整的测试工具。
为debouncer生成实现完整模型覆盖的测试用例。这个示例模型中每个模型覆盖点的结果是一个测试目标。如果您配置Simulink Des金宝appign Verifier以生成最少的测试用例,它将在每个测试用例中满足尽可能多的目标。
生成满足Decision、Condition和MCDC覆盖的测试用例。金宝appSimulink Design Verifier能够自动生成测试数据并对模型进行性能验证。它生成满足测试标准或证明反例的输入值序列。与模型相关联的配置选项指定了分析的目标。当你分析模型时,Simulink Design Veri金宝appfier使用详尽的搜索技术来生成输入数据。当成功时,它会生成测试数据,并创建一个包含Signal Builder块的新工具模型,其中包含满足分析目标的数据值。注意:这个模型的复杂性可能会阻止测试生成在指定的时间内完成。您可以停止测试生成并生成部分结果,或者您可以通过编辑Simulink Design Verifier选项来延长时间限制。金宝app
生成实现完整模型覆盖的测试用例。默认情况下,Simuli金宝appnk Design Verifier生成的测试用例以最少的步骤满足目标。其中一个测试目标迫使PI控制器中的离散积分器超过其上限。当您在没有约束的情况下运行金宝appSimulink Design Verifier时,通过强制速度为500,一个步骤就会超过该限制。速度限制将测试用例中的值限制在0到100之间。这迫使测试用例使用多个示例来超过积分器限制。
为触发器生成完成模型覆盖的测试用例。这个示例模型中每个模型覆盖点的结果是一个测试目标。如果您配置Simulink Des金宝appign Verifier以生成最少的测试用例,它将在每个测试用例中满足尽可能多的目标。
有一个对应于MATLAB的代码:
把它扔进introduciéndolo然后把它扔进MATLAB。Los navegadores web no admit comandos de MATLAB。
选择一个网站,在那里获得翻译的内容,并看到当地的活动和优惠。根据您的位置,我们建议您选择:.
你也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳网站性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。
与当地办事处联系