结果解读与使用
记录和审查分析结果,生成报告,创建测试工具模型
你使用金宝app®设计验证器™记录和审查分析结果并生成分析报告。您可以生成测试输入,并将它们导出到新的测试用例金宝app仿真软件测试™.
功能
sldvloadresults |
负载Sim金宝appulink设计验证器对模型的分析结果 |
sldvhighlight |
使用Simulink Design Verifier分析的数据突金宝app出显示模型 |
sldvreport |
生成报告 |
sldvsimdata |
获取数据集格式的模拟数据 |
sldvruntestopts |
为sldvruntest或sldvruncgvtest生成模拟或执行选项 |
sldvruntest |
使用输入数据模拟模型 |
sldvharnessopts |
sldvmakeharness的默认选项 |
sldvmakeharness |
生成利用模型 |
sldvmergeharness |
将测试用例和初始化合并到一个管理模型中 |
例子和如何
回顾分析结果金宝app仿真软件设计验证器结果总结窗口。
中如何生成测试用例金宝app仿真软件测试使用金宝app仿真软件设计验证器分析结果,可以通过性能证明、设计错误检测和测试用例生成来生成。
概念
描述在模型上突出显示分析结果。
描述a的不同部分金宝app仿真软件设计验证器报告。
描述基本线束模型。
描述的内容金宝app仿真软件设计验证器数据文件。
描述分析日志文件。
指定控制方式的选项金宝app仿真软件设计验证器处理它生成的结果。
指定控制方式的选项金宝app仿真软件设计验证器报道了他们的研究成果。
这个话题有帮助吗?