文档

结果解读与使用

记录和审查分析结果,生成报告,创建测试工具模型

你使用金宝app®设计验证器™记录和审查分析结果并生成分析报告。您可以生成测试输入,并将它们导出到新的测试用例金宝app仿真软件测试™

功能

sldvloadresults 负载Sim金宝appulink设计验证器对模型的分析结果
sldvhighlight 使用Simulink Design Verifier分析的数据突金宝app出显示模型
sldvreport 生成报告
sldvsimdata 获取数据集格式的模拟数据
sldvruntestopts 为sldvruntest或sldvruncgvtest生成模拟或执行选项
sldvruntest 使用输入数据模拟模型
sldvharnessopts sldvmakeharness的默认选项
sldvmakeharness 生成利用模型
sldvmergeharness 将测试用例和初始化合并到一个管理模型中

例子和如何

回顾分析结果

回顾分析结果金宝app仿真软件设计验证器结果总结窗口。

导出测试用例到Simulink Test金宝app

中如何生成测试用例金宝app仿真软件测试使用金宝app仿真软件设计验证器分析结果,可以通过性能证明、设计错误检测和测试用例生成来生成。

概念

模型上突出显示的结果

描述在模型上突出显示分析结果。

金宝appSimulink设计验证器报告

描述a的不同部分金宝app仿真软件设计验证器报告。

金宝appSimulink设计验证器控制模型

描述基本线束模型。

金宝appSimulink设计验证器数据文件

描述的内容金宝app仿真软件设计验证器数据文件。

金宝appSimulink设计验证器日志文件

描述分析日志文件。

设计验证器窗格:结果

指定控制方式的选项金宝app仿真软件设计验证器处理它生成的结果。

设计验证器窗格:报告

指定控制方式的选项金宝app仿真软件设计验证器报道了他们的研究成果。

这个话题有帮助吗?